Adding Integrity Constraints to the Semantic Web for Instance Data Evaluation

  • Jiao Tao
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6497)


This paper presents our work on supporting evaluation of integrity constraint issues in semantic web instance data. We propose an alternative semantics for the ontology language, i.e., OWL, a decision procedure for constraint evaluation by query answering, and an approach of explaining and repairing integrity constraint violations by utilizing the justifications of conjunctive query answers.


Instance Data Evaluation Integrity Constraint OWL 


  1. 1.
    Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 34–43 (2001)CrossRefGoogle Scholar
  2. 2.
    Gmez-Prez, A.: Some Ideas and Examples to Evaluate Ontologies. In: AIA 1995, p. 299 (1995)Google Scholar
  3. 3.
    Gmez-Prez, A.: Evaluation of Ontologies. Int. J. Intell. Syst. 16(3), 391–409 (2001)CrossRefGoogle Scholar
  4. 4.
    Baclawski, K., Matheus, C.J., Kokar, M.M., Letkowski, J., Kogut, P.A.: Towards a Symptom Ontology for Semantic Web Applications. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 650–667. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  5. 5.
    Tao, J., Ding, L., Bao, J., McGuiness, D.: Instance Data Evaluation for Semantic Web-Based Knowledge Management Systems. In: HICSS 42, pp. 1–10 (1942)Google Scholar
  6. 6.
    Bechhofer, S., Volz, R.: Patching Syntax in OWL Ontologies. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 668–682. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  7. 7.
    Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: WWW 2005, pp. 633–640 (2005)Google Scholar
  8. 8.
    Wang, H., Horridge, M., Rector, A., Drummond, N., Seidenberg, J.: Debugging OWL-DL Ontologies: A Heuristic Approach. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 745–757. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  9. 9.
    Plessers, P., Troyer, O.D.: Resolving Inconsistencies in Evolving Ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 200–214. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
    McGuinness, D.L., Fikes, R., Rice, J., Wilder, S.: An Environment for Merging and Testing Large Ontologies. In: KR 2000, pp. 483–493 (2000)Google Scholar
  11. 11.
    Corcho, Ó., Gómez-Pérez, A., González-cabero, R., Suárez-figueroa, C.: ODEval: A Tool for Evaluating RDF(S), DAML+OIL, and OWL Concept Taxonomies. In: AIAI 2004, pp. 369–382 (2004)Google Scholar
  12. 12.
    Codd, E.F.: A Relational Model of Data for Large Shared Data Banks. ACM Commun. 13(6), 377–387 (1970)CrossRefzbMATHGoogle Scholar
  13. 13.
    Smith, M.K., Welty, C., McGuiness, D.: OWL Web Ontology Language Guide (2004)Google Scholar
  14. 14.
    Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. AI 172(12-13), 1495–1539Google Scholar
  15. 15.
    Motik, B.: A Faithful Integration of Description Logics with Logic Programming. In: IJCAI 2007, pp. 477–482 (2007)Google Scholar
  16. 16.
    Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: EQL-Lite: Effective First-Order Query Processing in Description Logics. In: IJCAI 2007, pp. 274–279 (2007)Google Scholar
  17. 17.
    Motik, B., Horrocks, I., Sattler, U.: Bridging the Gap between OWL and Relational Databases. In: WWW 2007, pp. 807–816 (2007)Google Scholar
  18. 18.
    Tao, J., Sirin, E., Bao, J., McGuiness, D.: Integrity Constraints in OWL. In: AAAI 2010 (2010)Google Scholar
  19. 19.
    Motik, B., Patel-Schneider, P.F., Grau, B.C.: OWL 2 Web Ontology Language Direct Semantics (2009)Google Scholar
  20. 20.
    Horrocks, I., Kutz, O., Sattler, U.: The Even More Irresistible SROIQ. In: KR 2006, pp. 57–67 (2006)Google Scholar
  21. 21.
    Lloyd, J.W.: Foundations of Logic Programming (1987)Google Scholar
  22. 22.
    Tao, J., Sirin, E., Bao, J., McGuiness, D.: Integrity Consrtiants in OWL. Technical report, Rensselaer Polytechnic InstituteGoogle Scholar
  23. 23.
    Tao, J., Sirin, E., McGuiness, D.: Towards Justification of Conjunctive Query Answers in Description Logics. Technical report, Rensselaer Polytechnic InstituteGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Jiao Tao
    • 1
  1. 1.Department of Computer ScienceRensselaer Polytechnic InstituteTroyUSA

Personalised recommendations