Publication type Conference paper
From korrekt.org
A list of all pages that have property "Publication type" with value "Conference paper"Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- A Better Uncle For OWL +
- Acyclicity Conditions and their Application to Query Answering in Description Logics +
- Approximate OWL-Reasoning with Screech +
- Complexity Boundaries for Horn Description Logics +
- Concurrent Classification of EL Ontologies +
- Conjunctive Queries for a Tractable Fragment of OWL1.1 +
- DL Role Constructors +
- Description Logic Reasoning with Decision Diagrams +
- Description Logic Rules +
- ELP: Tractable Rules for OWL 2 +
- Efficient Inferencing for OWL EL +
- Efficient OWL Reasoning with Logic Programs +
- Efficient Rule-Based Inferencing for OWL EL +
- Extending Decidable Existential Rules by Joining Acyclicity and Guardedness +
- Formalizing Ontology Alignment and its Operations with Category Theory +
- How to reason with OWL in a logic programming system +
- Morphisms in Context +
- On the Semantic Relationship between Datalog and Description Logics +
- Practical Reasoning with Nominals in the EL Family of Description Logics +
- Querying Formal Contexts with Answer Set Programs +
