scientific article; zbMATH DE number 1948991

MaRDI QIDQ4412237zbMATH OpenFDO

Authors Franz Baader, Anni-Yasmin Turhan

Publication date 14 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2479/24790099.htm

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Computing the least common subsumer w.r.t. a background terminology
• Logics in Artificial Intelligence
• A compact representation for least common subsumers in the description logic \({\mathcal {ALE}}\)
• Structural subsumption and least common subsumers in a description logic with existential and number restrictions
• Computing the least common subsumer in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics

Cited in

(9)

• Computing the least common subsumer w.r.t. a background terminology
• What's in an attribute? Consequences for the least common subsumer
• A compact representation for least common subsumers in the description logic \({\mathcal {ALE}}\)
• Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities
• Small Generating Sets and DLPC Problem
• Logics in Artificial Intelligence
• Logics in Artificial Intelligence
• Graph-Theoretic Concepts in Computer Science
• Structural subsumption and least common subsumers in a description logic with existential and number restrictions

Describes a project that uses

Uses Software

• Graphplan

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 Q4412237)