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
- How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC + (Bartosz)
- Data Complexity in Expressive Description Logics With Path Expressions + (Bartosz)
- Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features. + (Bartosz)
- Database-Inspired Reasoning Problems in Description Logics With Path Expressions + (Bartosz)
- About the Expressive Power and Complexity of Order-Invariance with Two Variables + (Bartosz)
- A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem + (Bartłomiej)
- Computing the hierarchy of conjunctions of concept names and their negations in a Description Logic knowledge base using Formal Concept Analysis (ICFCA 2006) + (Barış)
- Explaining User Errors in Description Logic Knowledge Base Completion + (Barış)
- Explaining User Errors in Knowledge Base Completion + (Barış)
- OntoComP System Description + (Barış)
- Towards the Complexity of Recognizing Pseudo-intents + (Barış)
- OntoComP: A Protege Plugin for Completing OWL Ontologies + (Barış)
- Some Computational Problems Related to Pseudo-intents + (Barış)
- Some Computational Problems Related to Pseudo-intents + (Barış)
- D1.1.2: Conceptual Models for Enterprise Knowledge (Final Models and Evaluation) + (Basil)
- Most Specific Generalizations w.r.t. General EL-TBoxes + (Benjamin)
- On the Decidability of Verifying LTL Properties of Golog Programs + (Benjamin)
- Most Specific Generalizations w.r.t. General EL-TBoxes + (Benjamin)
- On the Decidability of Verifying LTL Properties of Golog Programs + (Benjamin)
- Verification of Knowledge-Based Programs over Description Logic Actions + (Benjamin)
- Decidable Verification of Golog Programs over Non-Local Effect Actions + (Benjamin)
- Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies + (Bernardo Cuenca)
- Acyclicity Conditions and their Application to Query Answering in Description Logics + (Bernardo Cuenca)
- Formal Concept Analysis Methods for Dynamic Conceptual Graphs + (Bernhard)
- Concept Lattice Orbifolds -- First Steps + (Bernhard)
- Formal Concept Analysis + (Bernhard)
- Explaining Data with Formal Concept Analysis + (Bernhard)
- 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002 + (Bertram)
- A Probability Theoretic Analysis of Score Systems + (Bertram)
- Hypothesis Finding with Proof Theoretical Appropriateness Criteria + (Bertram)
- Minimised Residue Hypotheses in Relevant Logic + (Bertram)
- Conjunctive Query Entailment: Decidable in Spite of O, I, and Q + (Birte)
- Status QIO: Conjunctive Query Entailment is Decidable + (Birte)
- Integrated Metamodeling and Diagnosis in OWL 2 + (Birte)
- Nominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend! + (Birte)
- Integrated Metamodeling and Diagnosis in OWL 2 + (Birte)
- OWL: Yet to arrive on the Web of Data? + (Birte)
- SPARQL Beyond Subgraph Matching + (Birte)
- Answering conjunctive queries in the SHIQ description logic + (Birte)
- Answering conjunctive queries in the SHIQ description logic + (Birte)
- Replacing SEP-Triplets in SNOMED CT using Tractable Description Logic Operators + (Boontawee)
- A Modularization-based Approach to Finding All Justifications for OWL DL Entailments + (Boontawee)
- Empirical evaluation of reasoning in lightweight DLs on life science ontologies + (Boontawee)
- Module Extraction and Incremental Classification: A Pragmatic Approach for EL^+ Ontologies + (Boontawee)
- Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies + (Boontawee)
- CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL + (Boris)
- Formal Properties of Modularisation + (Boris)
- Semantic Modularity and Module Extraction in Description Logics + (Boris)
- Logical Difference and Module Extraction with CEX and MEX + (Boris)
- A Model for Learning Description Logic Ontologies Based on Exact Learning + (Boris)
- Exact Learning of Lightweight Description Logic Ontologies + (Boris)
- Exact Learning Description Logic Ontologies from Data Retrieval Examples + (Boris)
- Exact Learning of Lightweight Description Logic Ontologies + (Boris)
- Model Checking Performability Properties + (Boudewijn R.)
