Adding ICs to OWL

Adding ICs to OWL

Ming Fang07/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

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 SCN(C) is the stratified datalog program based on CEc is a fresh n-ary predicate unique for c

Logic-programming Based

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

Logic-programming Based