Structural subsumption and least common subsumers in a description logic with existential and number restrictions
From MaRDI portal
Publication:817690
DOI10.1007/s11225-005-3705-5zbMath1104.03020MaRDI QIDQ817690
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
68T27: Logic in artificial intelligence
68T30: Knowledge representation
03B70: Logic in computer science
Uses Software
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