Description logics for ontologies

DOI10.1007/B11835MaRDI QIDQ5900603zbMATH OpenOpenAlexFDO

Authors Ulrike Sattler

Publication date 31 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b11835

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Logic Programming
• Description Logics
• Automated Reasoning with Analytic Tableaux and Related Methods
• Description logics in knowledge representation
• An introduction to description logic

Cited in

(29)

• Mapping of description logic to the relational data model
• The F-logic approach for description languages
• Description logics in knowledge representation
• Hybrid logics and ontology languages
• About description logics and ontology
• scientific article; zbMATH DE number 6697175 (Why is no real title available?)
• An introduction to description logic
• scientific article; zbMATH DE number 5316045 (Why is no real title available?)
• Reasoning in Description Logics: Basics, Extensions, and Relatives
• Description Logics
• scientific article; zbMATH DE number 1107649 (Why is no real title available?)
• scientific article; zbMATH DE number 1182733 (Why is no real title available?)
• scientific article; zbMATH DE number 1761427 (Why is no real title available?)
• Description logics in multimedia reasoning
• scientific article; zbMATH DE number 7368419 (Why is no real title available?)
• Towards contingent world descriptions in description logics
• An Occurrence Description Logic
• DESCRIPTION LOGICS OVER LATTICES
• Logics in Artificial Intelligence
• scientific article; zbMATH DE number 5251111 (Why is no real title available?)
• Logic Programming
• Automated Reasoning with Analytic Tableaux and Related Methods
• scientific article; zbMATH DE number 2230857 (Why is no real title available?)
• scientific article; zbMATH DE number 2246078 (Why is no real title available?)
• Mechanizing Mathematical Reasoning
• Description logics vs. first order logic as KBMS interaction languages
• On the Complexity of Learning Description Logic Ontologies
• Reasoning with ontologies
• Representing ontologies using description logics, description graphs, and rules

This page was built for publication: Description logics for ontologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5900603)