Integrated metamodeling and diagnosis in OWL 2

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

Volumn 6496 LNCS, Issue PART 1, 2010, Pages 257-272

  Glimm, Birte ^a   Rudolph, Sebastian ^b   Völker, Johanna ^c  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b KARLSRUHE INSTITUTE OF TECHNOLOGY   (Germany)

^c UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ONTOLOGY; SEMANTIC WEB;

CLASS-BASED; DIAGNOSIS STRATEGIES; DOMAIN ONTOLOGIES; ENCODING SCHEMES; METAMODELING; PERFORMANCE PROBLEMS; REASONING SYSTEM;

BIRDS;

EID: 78650917542     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17746-0_17     Document Type: Conference Paper

References (14)

1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2007)
2. Gasse, F., Sattler, U., Haarslev, V.: Rewriting rules into SROIQ axioms. In: Poster at 21st International Workshop on Description Logics, DL (2008)
3. Glimm, B., Rudolph, S., Völker, J.: Integrated metamodeling and diagnosis in owl 2. Tech. Rep. 3006, Institut AIFB, KIT, Karlsruhe (September 2010), http://www.aifb.kit.edu/web/Techreport3006
4. Guarino, N., Welty, C.A.: An Overview of OntoClean. In: International Handbook on Information Systems, 2nd edn., pp. 201-220. Springer, Heidelberg (2009)
5. Horridge, M., Parsia, B., Sattler, U.: Explaining inconsistencies in OWL ontologies. In: Godo, L., Pugliese, A. (eds.) SUM 2009. LNCS, vol. 5785, pp. 124-137. Springer, Heidelberg (2009)
6. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proc. 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57-67. AAAI Press, Menlo Park (2006)
7. Ji, Q., Haase, P., Qi, G., Hitzler, P., Stadtmüller, S.: RaDON - Repair and diagnosis in ontology networks. In: Proceedings of the European Semantic Web Conference (ESWC), pp. 863-867. Springer, Heidelberg (2009)
8. Krötzsch, M., Rudolph, S., Hitzler, P.: Description logic rules. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N.M. (eds.) ECAI. Frontiers in Artificial Intelligence and Applications, vol. 178, pp. 80-84. IOS Press, Amsterdam (2008)
9. Motik, B.: On the properties of metamodeling in OWL. Journal of Logic and Computation 17(4), 617-637 (2007)
10. Tran, T., Haase, P., Motik, B., Grau, B.C., Horrocks, I.: Metalevel information in ontology-based applications. In: Fox, D., Gomes, C.P. (eds.) AAAI, pp. 1237-1242. AAAI Press, Menlo Park (2008)
11. Völker, J., Vrandečić, D., Sure, Y., Hotho, A.: AEON - An approach to the automatic evaluation of ontologies. Journal of Applied Ontology 3(1-2), 41-62 (2008)
12. Vrandečić, D.: Ontology Evaluation. In: International Handbook on Information Systems, 2nd edn., pp. 293-313. Springer, Heidelberg (2009)
13. Welty, C., Mahindru, R., Chu-Carroll, J.: Evaluating ontology cleaning. In: McGuinness, D.L., Ferguson, G. (eds.) Proc. 19th National Conf. on AI (AAAI) and 16th Conf. Innovative Applications of AI (IAAI). MIT Press, Cambridge (July 2004)
14. Welty, C.: OntOWLClean: Cleaning OWL ontologies with OWL. In: Bennet, B., Fellbaum, C. (eds.) Proceedings of Formal Ontologies in Information Systems (FOIS), pp. 347-359. IOS Press, Amsterdam (2006)