Integrity Constraints in OWL

Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010

Volumn , Issue , 2010, Pages 1443-1448

  Tao, Jiao ^a   Sirin, Evren ^b   Bao, Jie ^a   McGuinness, Deborah L ^a  

^a Rensselaer Polytechnic Institute   (United States)

^b LLC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; BIRDS; SEMANTIC WEB;

BASED REASONINGS; CLOSED-WORLD ASSUMPTIONS; CONSTRAINT VIOLATION; CONSTRAINTS VALIDATIONS; DATA CENTRIC; INTEGRITY CONSTRAINTS; ONTOLOGY'S; OPEN WORLD ASSUMPTION; PARTICULAR CONDITION; SEMANTIC WEB APPLICATIONS;

INTEGRATED CIRCUITS;

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

References (14)

1. Angles, R., and Gutierrez, C. 2008. The Expressive Power of SPARQL. In Proc. ISWC2008, 114-129.
2. Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. 2003. The Description Logic Handbook: Theory, Implementation and Applications.
3. Calvanese, D.; Giacomo, G. D.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007. EQL-Lite: Effective First-Order Query Processing in Description Logics. In Proc. IJCAI2007, 274-279.
4. Donini, F. M.; Lenzerini, M.; Nardi, D.; Nutt, W.; and Schaerf, A. 1998. An Epistemic Operator for Description Logics. AI 100(1-2):225-274.
5. Donini, F. M.; Nardi, D.; and Rosati, R. 2002. Description Logics of Minimal Knowledge and Negation as Failure. ACM Trans. Comput. Logic 3(2):177-225.
6. Eiter, T.; Ianni, G.; Lukasiewicz, T.; Schindlauer, R.; and Tompits, H. 2008. Combining Answer Set Programming with Description Logics for the Semantic Web. AI 172(12-13):1495-1539.
7. Horrocks, I.; Kutz, O.; and Sattler, U. 2006. The Even More Irresistible SROIQ. In Proc. KR2006, 57-67.
8. Lloyd, J. W. 1987. Foundations of Logic Programming. Motik, B.; Horrocks, I.; and Sattler, U. 2007. Bridging the Gap between OWL and Relational Databases. In Proc. WWW2007, 807-816.
9. Motik, B.; Patel-Schneider, P. F.; and Grau, B. C. 2009. OWL 2 Web Ontology Language Direct Semantics.
10. Motik, B. 2007. A Faithful Integration of Description Logics with Logic Programming. In Proc. IJCAI2007, 477-482.
11. Prud'hommeaux, E., and Seaborne, A. 2008. SPARQL Query Language for RDF.
12. Reiter, R. 1988. On Integrity Constraints. In Proc. TARK1988, 97-111.
13. Smith, M. K.; Welty, C.; and McGuiness, D. 2004. OWL Web Ontology Language Guide.
14. Tao, J.; Sirin, E.; Bao, J.; and McGuinness, D. 2010. Integrity Constraints in OWL. Technical report, Dept. of Computer Science, Rensselaer Polytechnic Institute, Troy, NY.