Pages that link to "Pascal Hitzler"
From korrekt.org
The following pages link to Pascal Hitzler:
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- News (← links)
- korrekt.org:About (← links)
- Conjunctive Queries for a Tractable Fragment of OWL1.1 (← links)
- Complexity Boundaries for Horn Description Logics (← links)
- Querying Formal Contexts with Answer Set Programs (← links)
- A Categorical View on Algebraic Lattices in Formal Concept Analysis (← links)
- Efficient OWL Reasoning with Logic Programs (← links)
- Description logics (← links)
- Formal Concept Analysis (← links)
- Rule languages (← links)
- Algebra and order (← links)
- Morphisms in Context (← links)
- On the Complexity of Horn Description Logics (← links)
- How to reason with OWL in a logic programming system (← links)
- Quo vadis, CS? (← links)
- Denny Vrandečić (← links)
- Sebastian Rudolph (← links)
- Publications (← links)
- Publications by date (← links)
- DLP isn't so bad after all (← links)
- What Is Ontology Merging? (← links)
- Morphisms in Logic, Topology, and Formal Concept Analysis (← links)
- Formalizing Ontology Alignment and its Operations with Category Theory (← links)
- Semantic Web – Grundlagen (← links)
- Semantic Web (← links)
- Veröffentlichungen (← links)
- Veröffentlichungen nach Datum (← links)
- Terminological Reasoning in SHIQ with OBDDs (← links)
- All Elephants are Bigger than All Mice (← links)
- Description Logic Rules (← links)
- Practical Reasoning with OWL and DL-Safe Rules (← links)
- ELP: Tractable Rules for OWL 2 (← links)
- Description Logic Reasoning with Decision Diagrams (← links)
- DL Role Constructors (← links)
- Approximate OWL-Reasoning with Screech (← links)
- A Brief Introduction to FCA (← links)
- Foundations of Semantic Web Technologies (← links)
- OWL 2 Web Ontology Language Primer (← links)
- SPARQL Beyond Subgraph Matching (← links)
- On the Semantic Relationship between Datalog and Description Logics (← links)
- Curriculum vitae (← links)
- Teaching (← links)
- A Better Uncle For OWL (← links)
- Nominal Schemas for Integrating Rules and Description Logics (← links)
- Logik und Logikprogrammierung: Aufgaben und Lösungen (← links)
- Complexities of Horn Description Logics (← links)
- Type-elimination-based Reasoning for SHIQbs (← links)
- Template:Recent publications (← links)
- Query languages (← links)
- 语义Web技术基础 (← links)