scientific article; zbMATH DE number 5316045

MaRDI QIDQ3521792zbMATH OpenFDO

Authors Krzysztof Goczyla, Wojciech Waloszek, Teresa Zawadzka, Michał Zawadzki

Publication date 26 August 2008

zbMATH Keywords

Knowledge Cartographyknowledge representation

Mathematics Subject Classification ID

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

Recommendations

• SOFSEM 2006: Theory and Practice of Computer Science
• Query answering over description logic ontologies
• Representing ontologies using description logics, description graphs, and rules
• Automated Reasoning with Analytic Tableaux and Related Methods
• Mapping of description logic to the relational data model
• Description logics for ontologies
• Ontology querying: Datalog strikes back

Cited in

(6)

• Visualizing \(\mathcal{ALC}\) using concept diagrams
• A method for the implementation of a description logic reasoner
• scientific article; zbMATH DE number 1315582 (Why is no real title available?)
• scientific article; zbMATH DE number 2084385 (Why is no real title available?)
• AI 2003: Advances in Artificial Intelligence
• SOFSEM 2006: Theory and Practice of Computer Science

This page was built for publication:

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