Debugging unsatisfiable classes in OWL ontologies.

Aditya Kalyanpur Bijan Parsia Evren Sirin James A. Hendler

Published in: J. Web Semant. (2005)

Keyphrases

owl ontologies
description logics
semantic annotation
production rules
artificial intelligence
training data
data sets
text mining
genetic programming
domain ontology
phase transition
sat solvers