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?