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

DOI10.1007/S11225-005-3705-5MaRDI QIDQ817690zbMATH OpenOpenAlexFDO

Authors Ralf Küsters, Ralf Molitor

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

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

Recommendations

• scientific article; zbMATH DE number 1500577
• Computing the least common subsumer in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics
• scientific article; zbMATH DE number 1948991
• scientific article; zbMATH DE number 1487804
• Computing the least common subsumer w.r.t. a background terminology

Cites work

• scientific article; zbMATH DE number 140398 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1948991 (Why is no real title available?)
• scientific article; zbMATH DE number 1487804 (Why is no real title available?)
• scientific article; zbMATH DE number 1500577 (Why is no real title available?)
• Automated Reasoning
• Classic learning
• Computing the least common subsumer in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics
• Logics in Artificial Intelligence
• Matching in description logics
• Non-standard inferences in description logics
• The learnability of description logics with equality constraints
• Using automata theory for characterizing the semantics of terminological cycles
• What's in an attribute? Consequences for the least common subsumer

Cited in

(7)

• Computing the least common subsumer in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics
• scientific article; zbMATH DE number 1670902 (Why is no real title available?)
• What's in an attribute? Consequences for the least common subsumer
• Concept Lattices
• A compact representation for least common subsumers in the description logic \({\mathcal {ALE}}\)
• scientific article; zbMATH DE number 1948991 (Why is no real title available?)
• Graph-Theoretic Concepts in Computer Science

Describes a project that uses

Uses Software

• Sonic
• FaCT++

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q817690)