Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- A Correspondance between Temporal Description Logics +
- A New n-ary Existential Quantifier in Description Logics +
- A Suggestion for an n-ary Description Logic +
- A Tableau Algorithm for DLs with Concrete Domains and GCIs +
- A hybrid approach for learning concept definitions from text +
- About Subsumption in Fuzzy EL +
- Adding Context to Tableaux for DLs +
- An Approach for Optimized Approximation +
- Automata-based Pinpointing for DLs +
- Axiom Pinpointing is Hard +
- Blocking Automata for PSPACE DLs +
- Complexity of Axiom Pinpointing in the DL-Lite Family +
- Computing least common subsumers for FLE^+ +
- Computing the Least Common Subsumer w.r.t. a Background Terminology +
- Correcting Access Restrictions to a Consequence +
- Data Complexity in the EL family of DLs +
- Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL^+ +
- E-connections of Description Logics +
- Efficient Reasoning in EL^+ +
- Explaining User Errors in Knowledge Base Completion +
- Finite Lattices Do Not Make Reasoning in ALCI Harder +
- Finite Model reasoning in ALCQI is ExpTime-complete +
- Fusions of Description Logics +
- GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable +
- Gödel Negation Makes Unwitnessed Consistency Crisp +
- Implementing Matching in ALN +
- Implementing Matching in ALE—First Results +
- Integrating Description Logics and Action Formalisms: First Results +
- Inverse Roles Make Conjunctive Queries Hard +
- LATPub404 +
- LATPub439 +
- LATPub490 +
- LATPub527 +
- LTL over Description Logic Axioms +
- Logical Difference and Module Extraction with CEX and MEX +
- Mary likes all Cats +
- Matching in Description Logics with Existential Restrictions +
- Mona as a DL Reasoner +
- On Subsumption and Instance Problem in ELH w.r.t. General TBoxes +
- On the Complexity of Counting in Description Logics +
- OntoComP System Description +
- Pinpointing in the Description Logic EL +
- Planning in Action Formalisms based on DLs: First Results +
- Reasoning With Weighted Ontologies +
- Reasoning about Nominals with FaCT and RACER +
- Reasoning about concepts and similarity +
- Reintroducing CEL as an OWL 2 EL Reasoner +
- Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles +
- Rewriting Concepts Using Terminologies +
- Rough EL Classification +
