Sciweavers

564 search results - page 2 / 113
» Debugging OWL ontologies
Sort
View
SEMWEB
2010
Springer
14 years 7 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
14 years 12 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
14 years 11 months ago
Web-Protege: A Lightweight OWL Ontology Editor for the Web
Tania Tudorache, Jennifer Vendetti, Natalya Fridma...
OWLED
2008
14 years 11 months ago
Modeling Ontologies using OWL, Description Graphs, and Rules
Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, U...
OWLED
2007
14 years 11 months ago
Extracting Modules from Ontologies: A Logic-based Approach
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazako...