A multi-dimensional terminological knowledge representation language

DOI10.1080/11663081.1995.10510854zbMath0845.68098OpenAlexW2002176884MaRDI QIDQ4868227

Franz Baader, Hans Jürgen Ohlbach

Publication date: 6 March 1996

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11858/00-001M-0000-0014-A6FA-7

zbMATH Keywords

terminological reasoning

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (8)

Non-finitely axiomatisable two-dimensional modal logics ⋮ PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) ⋮ Products of ‘transitive” modal logics ⋮ Decidable fragments of first-order modal logics ⋮ Non-primitive recursive decidability of products of modal logics with expanding domains ⋮ Decidable fragments of first-order temporal logics ⋮ On axiomatising products of Kripke frames ⋮ \({\mathcal E}\)-connections of abstract description systems

Cites Work

• Unnamed Item
• Attributive concept descriptions with complements
• Reasoning and revision in hybrid representation systems
• The KL-ONE family
• Propositional dynamic logic of regular programs
• Proving termination with multiset orderings
• Semantics-Based Translation Methods for Modal Logics
• The undecidability of the domino problem

This page was built for publication: A multi-dimensional terminological knowledge representation language