scientific article

zbMATH Open1358.68276arXiv1201.4089MaRDI QIDQ2970045FDOQ2970045

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (15)

• HermiT: an OWL 2 reasoner
• Description logics in knowledge representation
• Title not available (Why is that?)
• OWL 2 profiles: an introduction to lightweight ontology languages
• Expressiveness of concept expressions in first-order description logics
• Rough Pragmatic Description Logic
• Reasoning in expressive description logics
• 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
• Title not available (Why is that?)
• SHACL: a description logic in disguise
• 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)