scientific article; zbMATH DE number 1753135

MaRDI QIDQ4533343zbMATH OpenFDO

Authors Franz Baader, Carsten Lutz, Holger Sturm, F. Wolter

Publication date 10 June 2002

zbMATH Keywords

abstract description systemscombination of logicsdecidability transferdescription logicsfusionsnormal modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• Combining description logics, description graphs, and rules
• scientific article; zbMATH DE number 1926631
• Description Logics
• Description logics, rules and multi-context systems
• The F-logic approach for description languages
• Hybrid unification in the description logic \(\mathcal{EL}\)

Cited in

(8)

• A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
• scientific article; zbMATH DE number 1696722 (Why is no real title available?)
• Towards resolution-based reasoning for connected logics
• Distributive lattice-structured ontologies
• How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited
• Ontology Integration Using ε-Connections
• \({\mathcal E}\)-connections of abstract description systems
• Representing ontologies using description logics, description graphs, and rules

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