Cardinality restrictions on concepts

DOI10.1016/S0004-3702(96)00010-0zbMath0907.68181WikidataQ57383734 ScholiaQ57383734MaRDI QIDQ1391904

Martin Buchheit, Franz Baader, Bernhard Hollunder

Publication date: 23 July 1998

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

knowledge representationdescription logicsterminological reasoning

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items

An alternative proof method for possibilistic logic and its application to terminological logics, ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching, Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\), Complexity of hybrid logics over transitive frames, Quantitative Logic Reasoning, Unification of concept terms in description logics, A Fine-Grained Approach to Resolving Unsatisfiable Ontologies, Description Logics, Combining Horn rules and description logics in CARIN

Cites Work

• Reasoning and revision in hybrid representation systems
• Generalized quantifiers and modal logic
• Generalized quantifiers and natural language
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item