Sciweavers

564 search results - page 2 / 113
» Debugging OWL ontologies
Sort
View
SEMWEB
2010
Springer
13 years 4 months ago
JustBench: A Framework for OWL Benchmarking
Analysing the performance of OWL reasoners on expressive OWL ontologies is an ongoing challenge. In this paper, we present a new approach to performance analysis based on justifica...
Samantha Bail, Bijan Parsia, Ulrike Sattler
ASWC
2008
Springer
13 years 8 months ago
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments
Finding the justifications for an entailment (i.e., minimal sets of axioms responsible for it) is a prominent reasoning service in ontology engineering, as justifications facilitat...
Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Pet...
OWLED
2008
13 years 8 months ago
Web-Protege: A Lightweight OWL Ontology Editor for the Web
Tania Tudorache, Jennifer Vendetti, Natalya Fridma...
OWLED
2008
13 years 8 months ago
Modeling Ontologies using OWL, Description Graphs, and Rules
Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, U...
OWLED
2007
13 years 8 months ago
Extracting Modules from Ontologies: A Logic-based Approach
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazako...