An Approach to Exploring Description Logic Knowledge Bases

DOI10.1007/978-3-642-11928-6_15zbMath1274.68481OpenAlexW1577366135MaRDI QIDQ3552290

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)

Related Items (1)

Axiomatisation of general concept inclusions from finite interpretations

Uses Software

• CEL

This page was built for publication: An Approach to Exploring Description Logic Knowledge Bases