RaDON - Repair and diagnosis in ontology networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5554 LNCS, Issue , 2009, Pages 863-867

  Ji, Qiu ^a   Haase, Peter ^a   Qi, Guilin ^a   Hitzler, Pascal ^a   Stadtmüller, Steffen ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM DEBUGGING; RADON; REPAIR; SEMANTIC WEB; SEMANTICS; WORLD WIDE WEB;

ONTOLOGY;

EID: 69849107732     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02121-3_71     Document Type: Conference Paper

References (17)

1. Christian Meilicke, A.T., Stuckenschmidt, H.: Repairing ontology mappings. In: Proceeding of 22nd National Conference on Artificial Intelligence (AAAI), pp. 1408-1413 (2007)
2. Haase, P., Brockmans, S., Palma, R., Euzenat, J., d'Aquin, M.: Dl.1.2 updated version of the networked ontology model. NeOn Project Deliverable Dl.1.2, Universitat Karlsruhe, TH (2007)
3. Haase, P., Qi, G.: An analysis of approaches to resolving inconsistencies in DL-based ontologies. In: Proceeding of International Workshop on Ontology Dynamics (IWOD) (2007)
4. Haase, P., van Harmelen, R, Huang, Z., Stuckenschmidt, H., Sure, Y.: A framework for handling inconsistency in changing ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.3729, pp. 353-367. Springer, Heidelberg (2005)
5. Huang, Z., van Harmelen, E, ten Teije, A.: Reasoning with inconsistent ontologies. In: Proceeding of Nineteenth International Joint Conference on Artificial Intelligence (IJCAI), pp. 254-259 (2005)
6. Huang, Z., van Harmelen, F., ten Teije, A., Groot, P., Visser, C: D3.4.1 reasoning with inconsistent ontologies: a general framework. SEKT Project Deliverable D3.4.1, Vrije Universiteit Amsterdam (2004)
7. Ji, Q., Qi, G., Haase, P.: A relevance-based algorithm for finding justifications of DL entail-ments. Technical report, University of Karlsruhe (2008), http://www.aifb.uni-karlsruhe.de/WBS/gqi/papers/RelAlg.pdf
8. Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL en-tailments. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-L, Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudre-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.4825, pp. 267-280. Springer, Heidelberg (2007)
9. Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.C., Hendler, J.A.: Swoop: A web ontology editing browser. Journal of Web Semantics 4(2), 144-153 (2006)
10. Ma, Y, Hitzler, P., Lin, Z.: Algorithms for paraconsistent reasoning with OWL. In: Fran-coni, E., Kifer, M., May, W (eds.) ESWC 2007. LNCS, vol.4519, pp. 399-413. Springer, Heidelberg (2007)
11. Noy, N.F., Sintek, M., Decker, S., Crubezy, M., Fergerson, R.W., Musen, M.A.: Creating semantic web contents with protege-2000. IEEE Intelligent Systems 16(2), 60-71 (2001)
12. Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Proceeding of 14th International World Wide Web Conference (WWW), pp. 633-640 (2005)
13. Qi, G., Haase, P., Ji, Q., Volker, J.: Dl.2.2 consistency models for networked ontologies evaluation. NeOn Project Deliverable Dl.2.2, Universitat Karlsruhe (2007)
14. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57-95 (1987)
15. Schlobach, S.: Diagnosing terminologies. In: Proceeding of 20th National Conference on Artificial Intelligence (AAAI), pp. 670-675 (2005)
16. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceeding of 18th International Joint Conferences on Artificial Intelligence (IJCAI), pp. 355-362 (2003)
17. Schlobach, S., Huang, Z.: D3.6.1 inconsistent ontology diagnosis: Framework and prototype. SEKT Project Deliverable D3.6.1, Vrije Universiteit Amsterdam (2005)