scientific article
From MaRDI portal
Publication:2970045
zbMath1358.68276arXiv1201.4089MaRDI QIDQ2970045
Ian Horrocks, Markus Krötzsch, František Simančík
Publication date: 27 March 2017
Full work available at URL: https://arxiv.org/abs/1201.4089
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
knowledge representationdescription logics\(\mathcal{SROIQ}\)ontological modellingOWL web ontology language
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (4)
The OWL reasoner evaluation (ORE) 2015 competition report ⋮ OWL 2 Profiles: An Introduction to Lightweight Ontology Languages ⋮ HermiT: an OWL 2 reasoner ⋮ The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
This page was built for publication:
