Structural subsumption and least common subsumers in a description logic with existential and number restrictions

DOI10.1007/s11225-005-3705-5zbMath1104.03020OpenAlexW2012765436MaRDI QIDQ817690

Ralf Molitor, Ralf Küsters

Publication date: 17 March 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-3705-5

zbMATH Keywords

complexitydescription logicsleast common subsumer

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70)

Uses Software

• FaCT++
• Sonic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classic learning
• The learnability of description logics with equality constraints
• Using automata theory for characterizing the semantics of terminological cycles
• Matching in description logics
• Automated Reasoning
• Logics in Artificial Intelligence
• Conceptual Structures for Knowledge Creation and Communication
• Non-standard inferences in description logics

This page was built for publication: Structural subsumption and least common subsumers in a description logic with existential and number restrictions