scientific article; zbMATH DE number 5251111

MaRDI QIDQ5450120zbMATH OpenFDO

Authors Jos de Bruijn, Stijn Heymans

Publication date 19 March 2008

zbMATH Keywords

frame logic\(F\)-logic programmingequality-safe formulasontology meta-modelingontology translationsemantic web language layering

Mathematics Subject Classification ID

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

Recommendations

• Description logics for ontologies
• Automated Reasoning with Analytic Tableaux and Related Methods
• About description logics and ontology
• Mechanizing Mathematical Reasoning
• Representing ontologies using description logics, description graphs, and rules
• Reasoning in Description Logics: Basics, Extensions, and Relatives
• Fuzzy Ontology, Fuzzy Description Logics and Fuzzy-OWL

Cited in

(2)

• scientific article; zbMATH DE number 1163474 (Why is no real title available?)
• FunDL. A family of feature-based description logics, with applications in querying structured data sources

Describes a project that uses

Uses Software

• HiLog

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