Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, TBox Classification in Parallel: Design and First Evaluation Mina Aslani and Volker Haarslev Concordia University, Montreal,

Source URL: ceur-ws.org

Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Structure Preserving TBox Repair Using Defaults Thomas Scharrenbach1 , Rolf Gr¨ utter1 , Bettina Waldvogel1 , and Abraham

Source URL: ceur-ws.org

Soundness Preserving Approximation for TBox Reasoning in R Ren Yuan, Jeff Z. Pan and Yuting Zhao Dept. of Computing Science, University of Aberdeen King’s College, Aberdeen AB24 3FX, UK

Source URL: ceur-ws.org

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family Diego Calvanese Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani 3

Source URL: exmo.inria.fr

• Computing
• Ontology
• Information science
• Information
• Semantic Web
• Knowledge representation
• Artificial intelligence
• Description logic
• Web Ontology Language
• Tbox
• Abox
• Conjunctive query

Computed Knowledge Base for Description of Information Resources of Water Spectroscopy Alexander Fazliev1, Alexey Privezentsev1, Dmitry Tsarkov2, and Jonathan Tennyson3 1 Institute of Atmospheric Optics SB RAS, Zuev Squ

Source URL: www.cs.man.ac.uk

• Ontology
• Semantic Web
• Computing
• Information science
• Technical communication
• World Wide Web Consortium
• Knowledge representation
• Spectroscopy
• Abox
• Web Ontology Language
• Tbox
• Molecule

Chapter 6 AN OWL-DL IMPLEMENTATION OF GOLD An Ontology for the Semantic Web Scott Farrar∗ and D. Terence Langendoen∗∗ ∗ Department of Linguistics

Source URL: dingo.sbs.arizona.edu

• Ontology
• Logic
• Semantic Web
• Information science
• Philosophy
• Computing
• Technical communication
• Artificial intelligence
• Description logic
• Tbox
• Web Ontology Language
• Ontology engineering

Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1

Source URL: www.cs.man.ac.uk

• Logic
• Mathematical logic
• Model theory
• Ontology
• Philosophy
• Temporal logic
• Non-classical logic
• Philosophical logic
• Tbox
• Abox
• Modal logic
• Kripke structure

Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such

Source URL: www.hermit-reasoner.com

• Ontology
• Proof theory
• Methods of proof
• Automated theorem proving
• Abox
• Tbox
• Sequent
• Method of analytic tableaux
• Description logic
• Calculus
• Blocking

Structured Objects in OWL: Representation and Reasoning Boris Motik† Bernardo Cuenca Grau† Ulrike Sattler‡

Source URL: www.hermit-reasoner.com

• Semantic Web
• Information science
• Ontology
• Knowledge engineering
• Knowledge representation
• Web Ontology Language
• Description logic
• Semantic reasoner
• Tbox
• Axiom
• Object
• Ontology engineering

Optimised Classification for Taxonomic Knowledge Bases Dmitry Tsarkov and Ian Horrocks University of Manchester, Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk Abstract

Source URL: www.cs.man.ac.uk

• Ontology
• Information science
• Semantic Web
• Technical communication
• Knowledge representation
• Tbox
• Abox
• Knowledge representation and reasoning
• Web Ontology Language
• Description logic
• Ordered geometry
• Concept