DescriptionLogic/FormalLiterature
Describe DescriptionLogic/FormalLiterature here.
- Description Logics as Ontology Languages for the Semantic Web
- Completeness, decidability and complexity of entailment for RDF Schema and a semanticextension involving the OWL vocabulary ?
- DL Reasoner vs. First-Order Prover
- Expressive OWL Reasoning with Logic Programs
- From SHIQ and RDF to OWL: The Making of a Web Ontology Language
- A Description Logic with Transitive and Inverse Roles and Role Hierarchies
- Optimising Description Logic Subsumption
- The Description Logic Handbook
- The Manchester OWL Syntax
- Can OWL and Logic Programming Live Together Happily Ever After?