A Benchmark for OWL 2 DL Reasoners.

Gunjan Singh Sumit Bhatia Raghava Mutharaju

Published in: COMAD/CODS (2020)

Keyphrases

owl dl
description logics
reasoning systems
semantic web
domain ontology
ontology languages
reasoning problems
owl dl ontology
formal semantics
knowledge representation
automated reasoning
data mining
artificial intelligence
knowledge base
data types
reasoning services