scientific article; zbMATH DE number 6697175

MaRDI QIDQ2970045zbMATH OpenFDO

Authors Markus Krötzsch, František Simančík, Ian Horrocks

Publication date 27 March 2017

Full work available at URL https://arxiv.org/abs/1201.4089

zbMATH Keywords

description logicsknowledge representation\(\mathcal{SROIQ}\)ontological modellingOWL web ontology language

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• An introduction to description logic
• Description Logics
• A logical semantics for description logic programs
• About description logics and ontology
• Reasoning in Description Logics: Basics, Extensions, and Relatives
• Description logics for ontologies
• Description logics in knowledge representation

Cited in

(15)

• HermiT: an OWL 2 reasoner
• Description logics in knowledge representation
• scientific article; zbMATH DE number 1983242 (Why is no real title available?)
• OWL 2 profiles: an introduction to lightweight ontology languages
• Expressiveness of concept expressions in first-order description logics
• Reasoning in expressive description logics
• Rough Pragmatic Description Logic
• An introduction to description logic
• Reasoning in Description Logics: Basics, Extensions, and Relatives
• The Description Logic Handbook
• The OWL reasoner evaluation (ORE) 2015 competition report
• The Description Logic Handbook
• SHACL: a description logic in disguise
• scientific article; zbMATH DE number 4101143 (Why is no real title available?)
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies

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