250 likes | 368 Views
Adding ICs to OWL. Ming Fang 07/10/2009. Outlines. General Problems Proposed Approaches SPARQL Based Logic-programming Based. General Problems. ICs: PK, FD, no-null value, cardinality, user defined, etc. Two Examples: 1) 2). Proposed Approaches. SPARQL Based
E N D
Adding ICs to OWL Ming Fang 07/10/2009
Outlines • General Problems • Proposed Approaches • SPARQL Based • Logic-programming Based
General Problems • ICs: PK, FD, no-null value, cardinality, user defined, etc. • Two Examples: • 1) • 2)
Proposed Approaches • SPARQL Based • Jiao T., Li D., Jie B., Deborah M. : Characterizing and Detecting Integrity Issues in OWL Instance Data. In: OWL: Experiences and Directions (OWLED 2008 EU), October (2008) • Lausen, G., Meier, M., Schmidt, M. : SPARQLing constraints for RDF. In: EDBT (2008) • Logic-programming Based • Horrocks, I., Motik, B., Sattler, U. : Bridging the gap between owl and relational databases. In: Proc. of the Sixteenth International World Wide Web Conference, Pages: 807 - 816(2007) • Motik B., Horrocks I., Rosati R., Sattler U. : Can OWL and logic programming live together happily ever after? In: Proc. ISWC-2006, LNCS vol. 4273, Springer (2006), pp. 501 - 514.(2006)
SPARQL-based ICs • Main Idea: • Specify ICs in ADLs and then use SPARQL to query the new KB to check if there is violations.
SPARQL-based ICs • Preliminary • Autoepistemic Description Logics: • Extends DLs with two modal operator K and A • A Simple Example:
SPARQL-based ICs • Epistemic Interpretation: • A triple where , and are sets of interpretations defined over the domain • An individual is “known” to be an instance of a concept if it belongs to the concept interpretation of every possible world in • An individual is “assumed” to be an instance of a concept if it belongs to the concept interpretation of every possible world in • A is semantically equivalent to
SPARQL-based ICs • Syntax and Semantics of SPARQL • A RDF triple is a subject-predicate-object tuple • A RDF graph is a set of RDF triples • SPARQL is essentially graph pattern expressions • Two mappings are compatible if
SPARQL-based ICs • Missing Property Value (MPV) • : • Example:
SPARQL-based ICs • Unexpected Individual Type (UIT) • : • Example • Similarly,
SPARQL-based ICs • Non-specific Individual Type (NSIT) • Example
SPARQL-based ICs • Integrity Violation
SPARQL-based ICs • Other Issues • Missing Property Value Issues (MPV) • Excessive Property Value Issues (EPV) • Uniqueness Issues (UT) • Nominals: • Key:
Proposed Approaches • SPARQL Based • Jiao T., Li D., Jie B., Deborah M. : Characterizing and Detecting Integrity Issues in OWL Instance Data. In: OWL: Experiences and Directions (OWLED 2008 EU), October (2008) • Lausen, G., Meier, M., Schmidt, M. : SPARQLing constraints for RDF. In: EDBT (2008) • Logic-programming Based • Horrocks, I., Motik, B., Sattler, U. : Bridging the gap between owl and relational databases. In: Proc. of the Sixteenth International World Wide Web Conference, Pages: 807 - 816(2007) • Motik B., Horrocks I., Rosati R., Sattler U. : Can OWL and logic programming live together happily ever after? In: Proc. ISWC-2006, LNCS vol. 4273, Springer (2006), pp. 501 - 514.(2006)
SPARQL-based ICs • Main Idea: • Extend the RDF vocabulary by a new namespace rdfc to type properties and to introduce new objects representing key (rdfc:key) and foreign key (rdfc:FKey) constraints, and then use SPARQL to find violations
SPARQL-based ICs • An example:
SPARQL-based ICs • When query the new RDF • Find keys • Test key constraint
Proposed Approaches • SPARQL Based • Jiao T., Li D., Jie B., Deborah M. : Characterizing and Detecting Integrity Issues in OWL Instance Data. In: OWL: Experiences and Directions (OWLED 2008 EU), October (2008) • Lausen, G., Meier, M., Schmidt, M. : SPARQLing constraints for RDF. In: EDBT (2008) • Logic-programming Based • Horrocks, I., Motik, B., Sattler, U. : Bridging the gap between owl and relational databases. In: Proc. of the Sixteenth International World Wide Web Conference, Pages: 807 - 816(2007) • Motik B., Horrocks I., Rosati R., Sattler U. : Can OWL and logic programming live together happily ever after? In: Proc. ISWC-2006, LNCS vol. 4273, Springer (2006), pp. 501 - 514.(2006)
Logic-programming Based • Main Idea: • Designate part of TBox as IC, and then translate the whole KB into a logic program for ICs checking
Logic-programming Based LP(S) is the logic program based on S CN(C) is the stratified datalog program based on C Ec is a fresh n-ary predicate unique for c
Proposed Approaches • SPARQL Based • Jiao T., Li D., Jie B., Deborah M. : Characterizing and Detecting Integrity Issues in OWL Instance Data. In: OWL: Experiences and Directions (OWLED 2008 EU), October (2008) • Lausen, G., Meier, M., Schmidt, M. : SPARQLing constraints for RDF. In: EDBT (2008) • Logic-programming Based • Horrocks, I., Motik, B., Sattler, U. : Bridging the gap between owl and relational databases. In: Proc. of the Sixteenth International World Wide Web Conference, Pages: 807 - 816(2007) • Motik B., Horrocks I., Rosati R., Sattler U. : Can OWL and logic programming live together happily ever after? In: Proc. ISWC-2006, LNCS vol. 4273, Springer (2006), pp. 501 - 514.(2006)
Logic-programming Based • Main Idea: • Integrate DL KB and logic program to obtain a hybrid KB, where LP is used for specifying ICs