Sciweavers

564 search results - page 15 / 113
» Debugging OWL ontologies
Sort
View
DLOG
2010
13 years 6 months ago
Orel: Database-Driven Reasoning for OWL 2 Profiles
We describe Orel, a reasoning system for an ontology language which subsumes both the EL and the RL profile of the recently standardised web ontology language OWL 2. Orel performs ...
Markus Krötzsch, Anees Mehdi, Sebastian Rudol...
OWLED
2007
13 years 10 months ago
Ontology-Based Management of the Telehealth Smart Home, Dedicated to Elderly in Loss of Cognitive Autonomy
Taking care of an elderly in loss of cognitive autonomy is a challenging task. Artificial agents, such as the Telehealth Smart Home (TSH) system can facilitate that task. However,...
Fatiha Latfi, Bernard Lefebvre, Céline Desc...
SEMWEB
2010
Springer
13 years 6 months ago
Justification Oriented Proofs in OWL
Abstract. Justifications -- that is, minimal entailing subsets of an ontology -- are currently the dominant form of explanation provided by ontology engineering environments, espec...
Matthew Horridge, Bijan Parsia, Ulrike Sattler
ESWS
2006
Springer
14 years 14 days ago
Repairing Unsatisfiable Concepts in OWL Ontologies
Abstract. In this paper, we investigate the problem of repairing unsatisfiable concepts in an OWL ontology in detail, keeping in mind the user perspective as much as possible. We f...
Aditya Kalyanpur, Bijan Parsia, Evren Sirin, Berna...
ICTAC
2004
Springer
14 years 2 months ago
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li