Black box techniques for debugging unsatisfiable concepts

CEUR Workshop Proceedings

Volumn 147, Issue , 2005, Pages

  Kalyanpur, Aditya ^a   Parsia, Bijan ^a   Sirin, Evren ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84872909989     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (4)

1. A. Kalyanpur, Parsia B, and E. Sirin. Detecting dependencies between unsatisfiable classes. http://www.mindswap.org/papers/depunsat.pdf. 2005.
2. Bijan Parsia, Evren Sirin, and Aditya Kalyanpur. Debugging owl ontologies. In The 14th International World Wide Web Conference (WWW2005), Chiba, Japan, May 2005.
3. A. Rector, N. Drummond, M. Horridge, J. Rogers, H. Knublauch, R. Stevens, H. Wang, and C. Wroe. Owl pizzas: Common errors & common patterns from practical experience of teaching owl-dl. In European Knowledge Acquisition Workshop (EKAW), 2004.
4. S. Schlobach and R. Cornet. Non-standard reasoning services for the debugging of description logic terminologies. Proceedings of IJCAI, 2003, 2003.