Opening, closing worlds - On integrity constraints

CEUR Workshop Proceedings

Volumn 432, Issue , 2009, Pages

  Sirin, Evren ^a   Smith, Michael ^a   Wallace, Evan ^b  

^a Clark and Parsia   (United States)

^b NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION AREA; CONSTRAINT VIOLATION; DATA CENTRIC; INTEGRITY CONSTRAINTS; OPEN WORLD ASSUMPTION; RELATIONAL DATABASE; SCHEMA LANGUAGE; SUPPLY CHAIN MANAGEMENTS (SCM);

SUPPLY CHAIN MANAGEMENT;

BIRDS;

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

References (9)

1. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. EQL-Lite: Effective first-order query processing in description logics. In The 20th Int'l Joint Conf. on Artificial Intelligence (IJCAI 2007), 2007.
2. F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. AL-log: integrating datalog and description logics. J. of Intelligent Information Systems, 10:227-252, 1998.
3. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the semantic web. The 9th Int'l Conf. of Knowledge Representation and Reasoning (KR2004), 2004.
4. A. Kalyanpur, B. Parsia, B. Cuenca-Grau, and E. Sirin. Beyond Axioms: Fine-Grained Justifications for Arbitrary Entailments in OWL-DL. In International Workshop on Description Logic (DL2006), 2006.
5. A. Kalyanpur, B. Parsia, M. Horridge, and E. Sirin. Finding all justifications of OWL DL entailments. In The 6th Int'l Semantic Web Conf. (ISWC2007), 2007.
6. B. Motik, I. Horrocks, and U. Sattler. Bridging the Gap Between OWL and Relational Databases. In The 16th International World Wide Web Conference (WWW2007), pages 807-816, Banff, AB, Canada, May 2007.
7. B. Motik and R. Rosati. A Faithful Integration of Description Logics with Logic Programming. In The 20th Int. Joint Conference on Artificial Intelligence (IJCAI 2007), Hyderabad, India, January 2007.
8. A. Nonnengart and C. Weidenbach. Computing small clause normal forms. In Handbook of Automated Reasoning, volume I, chapter 6, pages 335-367. 2001.
9. P. F. Patel-Schneider, P. Hayes, and I. Horrocks. OWL web ontology language semantics and abstract syntax. W3C recommendation, W3C, Feb. 2004. http://www.w3.org/TR/2004/REC-owl-semantics-20040210/.