Repairing Unsatisfiable Concepts in OWL Ontologies.

Aditya Kalyanpur Bijan Parsia Evren Sirin Bernardo Cuenca Grau

Published in: ESWC (2006)

Keyphrases

owl ontologies
domain ontology
production rules
description logics
knowledge base
semantic annotation
semi automatic
database schema
ontology languages
data sets
object oriented
search engine
sat solvers