March 2017 – Ontology Summit 2017 – Pascal Hitzler
Pascal HitzlerData Semantics Laboratory (DaSe Lab)
Data Science and Security Cluster (DSSC) Wright State University
http://www.pascal-hitzler.de
Roles of Logical Axiomatizations for Ontologies
March 2017 – Ontology Summit 2017 – Pascal Hitzler 2
Content
Content is partially based on:
Pascal Hitzler, Adila KrisnadhiOn the Roles of Logical Axiomatizations for Ontologies
In: P. Hitzler, A. Gangemi, K. Janowicz, A. Krisnadhi, V. Presutti (eds.), Ontology Engineering with Ontology Design Patterns: Foundations and Applications.Studies on the Semantic Web. IOS Press/AKA Verlag, 2016.
March 2017 – Ontology Summit 2017 – Pascal Hitzler 3
Axioms and semantics
Classes:LionFelineMammalAnimal
No axioms given.
(some) possible models on the rightConsequences:Simba is a Lion (!)
Simba isa Lion
March 2017 – Ontology Summit 2017 – Pascal Hitzler 4
Axioms and semantics
Classes:LionFelineMammalAnimal
(some) possible models on the rightConsequences:Simba is a Feline
Simba isa Lion
March 2017 – Ontology Summit 2017 – Pascal Hitzler 5
Axioms and semantics
Classes:LionFelineMammalAnimal
(some) possible models on the rightConsequences:Simba is a FelineSimba is an Animal
Simba isa Lion
March 2017 – Ontology Summit 2017 – Pascal Hitzler 6
Axioms and Semantics
A, B sets of axioms (theories).
Assume
Then we have:
Sets of corresponding models:
Sets of corresponding logical consequences:
This is called monotonicity of a logic.Monotonic logics include: first-order predicate logic
description logics (i.e., OWL)
March 2017 – Ontology Summit 2017 – Pascal Hitzler 7
Axioms disambiguate
A rich axiomatization helps to disambiguate the meaning of an ontology.
What graph structure is intended?
clarifies this!
Event Place BoundaryPolygonatPlace hasBP
WCC90 _:xatPlacehasBP
WCC90
_:xatPlace hasBP
hasBP
_:yatPlace hasBP
March 2017 – Ontology Summit 2017 – Pascal Hitzler 8
Good axioms
Specificity matters: Problems with domain/range.
Recommendations often heard:• Indicate domain and range for your properties.• Reuse as many existing vocabularies as you can.
But there are problems with this:Ontology 1: Ontology 2:
domain(foaf:name) = Human domain(foaf:name) = Organization
Logical consequence after merge: Human ≡ Organization
Human xsd:stringfoaf:nameOrganization xsd:stringfoaf:name
March 2017 – Ontology Summit 2017 – Pascal Hitzler 9
Recommendations
• Make rich axiomatizations• Avoid re-use of external vocabularies
(rather provide an additional file with mappings for those who want to use it)
• Avoid naïve domain and range axioms.
Alternative to naïve domain/range: scoped domain and range.
scoped rangescoped domain
both rules can be expressed in OWL.
A Bp
March 2017 – Ontology Summit 2017 – Pascal Hitzler 10
ROWL Protégé plug-in
http://dase.cs.wright.edu/content/rowl
March 2017 – Ontology Summit 2017 – Pascal Hitzler 11
ROWL Protégé plug-in
In: Proceedings ESWC 2017, to appear
March 2017 – Ontology Summit 2017 – Pascal Hitzler 12
OWLAx Protégé plug-in
In: Proc. ISWC 2016 poster & demoshttp://dase.cs.wright.edu/content/ontology-axiomatization-support
March 2017 – Ontology Summit 2017 – Pascal Hitzler 13
MonotonicityMonotonicity can often be used as a first test whether aparticular notion can be captured in OWL.
E.g. “A region is more biodiverse than another region if it is inhabited by a higher number of different species.”
Assume we have an ABox listing all species in each region, can we then satisfactorily axiomatize the relation moreBiodiverseThan between regions?
It turns out that we cannot, for the following reason: Assume that from the axiomatization we would obtain region1 moreBiodiverseThan region2.
Now add additional Abox axioms for newly found species in region1, so that it exceeds those in region2.
At this point, we would want ‘region1 moreBiodiverseThan region2’ to no longer hold.
But by monotonicity, this is impossible in OWL.
[for a non-monotonic solution, see Proc. ACM GIS 2012]
March 2017 – Ontology Summit 2017 – Pascal Hitzler 14
Non-monotonic tasks
• Integrity constraintse.g. an integrity constraint violated if a person is listed
without corresponding SSNCannot be done by monotonic reasoning: If a violation is inferred, then adding the SSN would have to remove the inferred violation.
• Shape constraints – closely related to integrity constraints; to inform the shape of the ABox graph
(cf. W3C SHACL Working Draft)
There exist many good proposals how to extend OWL with non-monotonic features.But none of these has been standardized or incorporated into main tools.
March 2017 – Ontology Summit 2017 – Pascal Hitzler 15
Instance-based inferences
• Given an RDF (knowledge) graph as ABox, and an ontology as type schema
deductive reasoning can be used to draw additional conclusions about the graph.
• (very simple) Example:
Inferences: Feline(simba); Mammal(simba); Animal(simba)
• Generally speaking, these types of inferences are very quick for the smaller OWL profiles EL, QL, RL.
March 2017 – Ontology Summit 2017 – Pascal Hitzler 16
Schema-based inferences
• Often used at ontology generation time, e.g. for debugging:– Is the ontology consistent?– Is it coherent? (Incoherence means that one or more classes
can be inferred to be empty).
(Example courtesy of Matthew Horridge)
March 2017 – Ontology Summit 2017 – Pascal Hitzler 17
Roles of axiomatizations
• For humans (to disambiguate meaning & use of ontologies).• As constraints (non-monotonic; not supported by current
standards or tools).• For instance-based deductions: Deductive enrichment of a
knowledge graph.• For schema-based deductions: Mainly for use at ontology
creation time.
We are still not really leveraging the full power of axiomatizations and reasoning for ontology-based applications, knowledge graph construction and applications, etc.
(For monotonic reasoners: See the annual OWL Reasoner Evaluation (ORE) workshop,
https://www.w3.org/community/owled/workshop-2016/)
March 2017 – Ontology Summit 2017 – Pascal Hitzler 18
Thanks!
March 2017 – Ontology Summit 2017 – Pascal Hitzler 19
Semantic Web journal
• EiCs: Pascal HitzlerKrzysztof Janowicz
• Funded 2010• 2016 Impact factor of 1.786, top of all
journals with “Web” in the title
• We very much welcome contributions at the “rim” of traditional Semantic Webresearch – e.g., work which is stronglyinspired by a different field.
• Non-standard (open & transparent)review process.
• http://www.semantic-web-journal.net/
March 2017 – Ontology Summit 2017 – Pascal Hitzler 20
New book
Pascal Hitzler, Aldo Gangemi, Krzysztof Janowicz, Adila Krisnathi, Valentina Presutti (eds.), Ontology Engineering with Ontology Design Patterns: Foundations and Applications.Studies on the Semantic Web. IOS Press/AKA Verlag, 2016.
March 2017 – Ontology Summit 2017 – Pascal Hitzler 21
DSSC
March 2017 – Ontology Summit 2017 – Pascal Hitzler 22
ReferencesPascal Hitzler, Adila Krisnadhi, On the Roles of Logical Axiomatizations for Ontologies. In: Pascal Hitzler, Aldo Gangemi, Krzysztof Janowicz, Adila Krisnathi, Valentina Presutti (eds.), Ontology Engineering with Ontology Design Patterns: Foundations and Applications. Studies on the Semantic Web. IOS Press/AKA Verlag, 2016/2017.
Hitzler, Krötzsch, Rudolph, Foundations of Semantic Web Technologies, CRC/Chapman & Hall, 2010
Md. Kamruzzaman Sarker, Adila A. Krisnadhi, Pascal Hitzler, OWLAx: A Protege Plugin to Support Ontology Axiomatization through Diagramming In: Takahiro Kawamura, Heiko Paulheim (eds.), Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan, October 19, 2016. CEUR Workshop Proceedings 1690, CEUR-WS.org 2016.
March 2017 – Ontology Summit 2017 – Pascal Hitzler 23
References
Md. Kamruzzaman Sarker, David Carral, Adila A. Krisnadhi, Pascal Hitzler, Modeling OWL with Rules: The ROWL Protege Plugin. In: Takahiro Kawamura, Heiko Paulheim (eds.), Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan, October 19, 2016. CEUR Workshop Proceedings 1690, CEUR-WS.org 2016.
Md Kamruzzaman Sarker, Adila A. Krisnadhi, David Carral, Pascal Hitzler, Rule-based OWL Modeling with ROWLTab Protege Plugin. In: Proceedings ESWC 2017. To appear.
March 2017 – Ontology Summit 2017 – Pascal Hitzler 24
References
Adila Alfa Krisnadhi, Frederick Maier, Pascal Hitzler, OWL and Rules. In: A. Polleres, C. d'Amato, M. Arenas, S. Handschuh, P. Kroner, S. Ossowski, P.F. Patel-Schneider (eds.), Reasoning Web. Semantic Technologies for the Web of Data. 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures. Lecture Notes in Computer Science Vol. 6848, Springer, Heidelberg, 2011, pp. 382-415.
Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler, A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. In: S. Sadagopan, Krithi Ramamritham, Arun Kumar, M.P. Ravindra, Elisa Bertino, Ravi Kumar (eds.), WWW '11 20th International World Wide Web Conference, Hyderabad, India, March/April 2011. ACM, New York, 2011, pp. 645-654.
March 2017 – Ontology Summit 2017 – Pascal Hitzler 25
References
David Carral Martinez, Krzysztof Janowicz, Pascal HitzlerA Logical Geo-Ontology Design Pattern for Quantifying over Types.In: Isabel F. Cruz, Craig Knoblock, Peer Kröger, Egemen Tanin, Peter Widmayer (Eds.): SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), SIGSPATIAL'12, Redondo Beach, CA, USA, November 7-9, 2012. ACM 2012, pp. 239-248.
Kunal Sengupta, Adila Krisnadhi, Pascal Hitzler, Local Closed World Reasoning: Grounded Circumscription for OWL. In: L. Aroyo, C. Welty, H. Alani, J. Taylor, A. Bernstein, L. Kagal, N. F. Noy, E. Blomqvist (Eds.): The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I. Lecture Notes in Computer Science Vol. 7031, Springer, Heidelberg, 2011, pp. 617-632.
March 2017 – Ontology Summit 2017 – Pascal Hitzler 26
ReferencesLocal Closed World Semantics: Keep it simple, stupid!Adila Krisnadhi, Kunal Sengupta, Pascal HitzlerIn: Riccardo Rosati, Sebastian Rudolph, Michael Zakharzaschev, Proceedings of the 2011 International Workshop on Description Logics (DL2011), Barcelona, Spain, July 2011. CEUR Workshop Proceedings, Vol. 745, pp. 532-542.
Matthias Knorr, Jose Julio Alferes, Pascal Hitzler, Local Closed-World Reasoning with Description Logics under the Well-founded Semantics. Artificial Intelligence 175 (9-10), 2011, 1528-1554.
Matthias Knorr, Pascal Hitzler, Frederick Maier, Reconciling OWL and Non-monotonic Rules for the Semantic Web. In: De Raedt, L., Bessiere, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P. (eds.), ECAI 2012, 20th European Conference on Artificial Intelligence, 27-31 August 2012, Montpellier, France. Frontiers in Artificial Intelligence and Applications, Vol. 242, IOS Press, Amsterdam, 2012, pp. 474-479.
March 2017 – Ontology Summit 2017 – Pascal Hitzler 27
References
Adila Krisnadhi, Pascal Hitzler, Modeling With Ontology Design Patterns: Chess Games As a Worked Example. In: Pascal Hitzler, Aldo Gangemi, Krzysztof Janowicz, Adila Krisnathi, Valentina Presutti (eds.), Ontology Engineering with Ontology Design Patterns: Foundations and Applications. Studies on the Semantic Web. IOS Press/AKA Verlag, 2016/2017.
Adila Krisnadhi, Nazifa Karima, Pascal Hitzler, Reihaneh Amini, Victor Rodriguez-Doncel, Krzysztof Janowicz, Ontology Design Patterns for Linked Data Publishing. In: Pascal Hitzler, Aldo Gangemi, Krzysztof Janowicz, Adila Krisnathi, Valentina Presutti(eds.), Ontology Engineering with Ontology Design Patterns: Foundations and Applications. Studies on the Semantic Web. IOS Press/AKA Verlag, 2016/2017.
March 2017 – Ontology Summit 2017 – Pascal Hitzler 28
References
Adila A. Krisnadhi, Pascal Hitzler, Krzysztof Janowicz, On capabilities and limitations of OWL regarding typecasting and ontology design pattern views. In: V. Tamma, M. Dragoni, R. Goncalves, A. Lawrynowicz (eds.), Ontology Engineering. 12th International Experiences and Directions Workshop on OWL, OWLED 2015, co-located with ISWC 2015, Bethlehem, PA, USA, October 9-10, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9557, Springer, Heidelberg, 2016, pp. 105-116.
Pascal Hitzler, Markus Krötzsch, Bijan Parsia, Peter F. Patel-Schneider, Sebastian Rudolph, OWL 2 Web Ontology Language: Primer (Second Edition). W3C Recommendation, 11 December 2012.