An approach to exploring description logic knowledge bases

DOI10.1007/978-3-642-11928-6_15MaRDI QIDQ3552290zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(8)

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

Describes a project that uses

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)