|
A Categorical View on Algebraic Lattices in Formal Concept Analysis +,
DLP isn't so bad after all +,
Foundations of Semantic Web Technologies +,
Querying Formal Contexts with Answer Set Programs +,
Semantic Web – Grundlagen +,
What Is Ontology Merging? +
|
Author1
|
|
How to reason with OWL in a logic programming system +,
Morphisms in Context +
|
Author2
|
|
All Elephants are Bigger than All Mice +,
Complexities of Horn Description Logics +,
Complexity Boundaries for Horn Description Logics +,
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 OWL Reasoning with Logic Programs +,
On the Complexity of Horn Description Logics +,
Quo vadis, CS? +,
Terminological Reasoning in SHIQ with OBDDs +,
Type-elimination-based Reasoning for SHIQbs +
|
Author3
|
|
A Better Uncle For OWL +,
Approximate OWL-Reasoning with Screech +,
Formalizing Ontology Alignment and its Operations with Category Theory +,
Nominal Schemas for Integrating Rules and Description Logics +
|
Author4
|
|
Logik und Logikprogrammierung: Aufgaben und Lösungen +
|
Author5
|
|
A Brief Introduction to FCA +,
OWL 2 Web Ontology Language Primer +,
On the Semantic Relationship between Datalog and Description Logics +
|
Editor1
|
|
On the Complexity of Horn Description Logics +,
Querying Formal Contexts with Answer Set Programs +
|
Editor2
|
|
SPARQL Beyond Subgraph Matching +
|
Editor4
|
