Sciweavers

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