Consequence-based reasoning for ontology classification

<p>Description logics (DLs) are knowledge representation languages that provide the theoretical underpinning for modern ontology languages such as OWL and serve as the basis for the development of ontology reasoners and tools.</p> <p>Most modern ontology reasoners are based on opti...

Full description

Bibliographic Details
Main Author: Simancik, F
Other Authors: Horrocks, I
Format: Thesis
Language:English
Published: 2013
Subjects: