scientific article; zbMATH DE number 1500577

MaRDI QIDQ4501598zbMATH OpenFDO

Authors Thomas Mantay

Publication date 16 November 2000

zbMATH Keywords

computing least common subsumersdescription logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1487804
• Structural subsumption and least common subsumers in a description logic with existential and number restrictions
• Computing the least common subsumer w.r.t. a background terminology
• Logics in Artificial Intelligence
• Computing the least common subsumer in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics

Cited in

(8)

• Computing the least common subsumer w.r.t. a background terminology
• scientific article; zbMATH DE number 1670902 (Why is no real title available?)
• A compact representation for least common subsumers in the description logic \({\mathcal {ALE}}\)
• scientific article; zbMATH DE number 1487804 (Why is no real title available?)
• Logics in Artificial Intelligence
• Computing the least common subsumer in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics
• Concept Lattices
• Structural subsumption and least common subsumers in a description logic with existential and number restrictions

This page was built for publication:

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