1 / 25

Adding ICs to OWL

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

media
Télécharger la présentation

Adding ICs to OWL

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Adding ICs to OWL Ming Fang 07/10/2009

  2. Outlines • General Problems • Proposed Approaches • SPARQL Based • Logic-programming Based

  3. General Problems • ICs: PK, FD, no-null value, cardinality, user defined, etc. • Two Examples: • 1) • 2)

  4. 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)

  5. SPARQL-based ICs • Main Idea: • Specify ICs in ADLs and then use SPARQL to query the new KB to check if there is violations.

  6. SPARQL-based ICs • Preliminary • Autoepistemic Description Logics: • Extends DLs with two modal operator K and A • A Simple Example:

  7. 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

  8. 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

  9. SPARQL-based ICs

  10. SPARQL-based ICs • Missing Property Value (MPV) • : • Example:

  11. SPARQL-based ICs • Unexpected Individual Type (UIT) • : • Example • Similarly,

  12. SPARQL-based ICs • Non-specific Individual Type (NSIT) • Example

  13. SPARQL-based ICs • Integrity Violation

  14. SPARQL-based ICs • Other Issues • Missing Property Value Issues (MPV) • Excessive Property Value Issues (EPV) • Uniqueness Issues (UT) • Nominals: • Key:

  15. 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)

  16. 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

  17. SPARQL-based ICs • An example:

  18. SPARQL-based ICs • When query the new RDF • Find keys • Test key constraint

  19. 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)

  20. Logic-programming Based • Main Idea: • Designate part of TBox as IC, and then translate the whole KB into a logic program for ICs checking

  21. 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

  22. Logic-programming Based

  23. 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)

  24. Logic-programming Based • Main Idea: • Integrate DL KB and logic program to obtain a hybrid KB, where LP is used for specifying ICs

  25. Logic-programming Based

More Related