An approach to exploring description logic knowledge bases

DOI10.1007/978-3-642-11928-6_15zbMATH Open1274.68481OpenAlexW1577366135MaRDI QIDQ3552290FDOQ3552290

Authors: Felix Distel 

Publication date: 14 April 2010

Published in: Formal Concept Analysis (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.656.4963

Recommendations

• Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$
• A Finite Basis for the Set of $\mathcal{EL}$ -Implications Holding in a Finite Model
• Description Logics
• ABox abduction in the description logic \(\mathcal{ALC}\)
• Description logics in knowledge representation

Mathematics Subject Classification ID

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

Cited In (8)

• The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
• DL-LINK: A CONCEPTUAL CLUSTERING ALGORITHM FOR INDEXING DESCRIPTION LOGICS KNOWLEDGE BASES
• Axiomatisation of general concept inclusions from finite interpretations
• Usability Issues in Description Logic Knowledge Base Completion
• A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
• FunDL. A family of feature-based description logics, with applications in querying structured data sources
• Connecting islands: bridging zbMATH and DLMF with Scholix, a blueprint for connecting expert knowledge systems
• Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$

Uses Software

• CEL

This page was built for publication: An approach to exploring description logic knowledge bases

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