logic and reasoning in the semantic web (part ii –owl)
DESCRIPTION
An introduction to OWL semantics and on OWL-based reasoning (using pellet). The material is mostly taken from the Semantic Web Recommendations. Slides for the PhD Course on Semantic Web (http://elite.polito.it/).TRANSCRIPT
![Page 1: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/1.jpg)
Logic and Reasoning in the Semantic Web(part II – OWL)
Fulvio Corno, Laura Farinetti
Politecnico di Torino
Dipartimento di Automatica e Informatica
e-Lite Research Group – http://elite.polito.it
![Page 2: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/2.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 2
Outline
Reasoning in Semantic Web Knowledge Bases
RDF/RDFS Semantics and Entailments
OWL Semantics
Pellet
Part II
![Page 3: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/3.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 3
Outline
Reasoning in Semantic Web Knowledge Bases
RDF/RDFS Semantics and Entailments
OWL Semantics
Pellet
![Page 4: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/4.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 4
OWL supports…
Superset of RDF/RDFS
Fact stating facilities from RDF
Class property structuring from RDF Schema
New logical operators
Boolean operators
Property hierarchies
Properties can be defined transitive, functional, inverse...
Individuals can be defined instances
Equivalence and disjointness statements on classes
Equivalence statements on properties
Equality and inequality can be asserted between individuals
![Page 5: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/5.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 5
OWL keywords
![Page 6: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/6.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 6
RDFS vs OWL
In RDFS you can:
declare classes like Artist, Museum or Paintings
state that Painter is a subclass of Artist
state that rembrandt is an instances of class Painter
state that hasPainted is a property, with domain Painter and range Painting.
state that rembrand is an instance of Dutchman with deathdate value 1669.
![Page 7: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/7.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 7
RDFS vs OWL
In OWL you can also:
state that Country and Person are disjoint classes
state that the nl and england are distinct individuals of the class Country
declare hasPainted as inverse property of paintedBy
state that the class stateless is defined as those members of the class Person that have no values for the property nationality
state that the class Canadian is defined as those members of the class Person that have canada as a value of the property nationality
state that age is a functional property.
![Page 8: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/8.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 8
And now?
OWL comes with 2 formal reasoning systems
OWL-Lite with 1st-order logic
OWL-DL with Description Logic
We can reason by combining
Available ontologies
Available facts
![Page 9: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/9.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 9
The ingredients
Ontology (e.g., in OWL-DL)
Facts (e.g., objects and instances)
A reasoning algorithm (for DL)
A reasoning engine
A way to express queries
A way to present results
![Page 10: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/10.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 10
Description logic
![Page 11: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/11.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 11
OWL-DL Semantics
The semantics of OWL-DL constructs is derived by the corresponding Description Logic operators.
The formal definition is extremely concise
http://www.w3.org/TR/owl-semantics/semantics-all.html#3
...but not so straightforward to understand!
![Page 12: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/12.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 12
![Page 13: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/13.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 13
![Page 14: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/14.jpg)
OWL Formal semantics
http://www.w3.org/TR/owl-semantics/semantics-all.html#3
Ingredients:
Vocabularies Vxx
Mapping functions (which provide „meaning‟) EC, ER
Interpretation of syntax constructs
Interpretation of axioms and facts
![Page 15: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/15.jpg)
Interpretation of constructsAbstract Syntax Interpretation (value of EC)
complementOf(c) O - EC(c)
unionOf(c1 … cn) EC(c1) ∪ … ∪ EC(cn)
intersectionOf(c1 … cn) EC(c1) ∩ … ∩ EC(cn)
oneOf(i1 … in), for ij individual IDs {S(i1), …, S(in)}
oneOf(v1 … vn), for vj literals {S(v1), …, S(vn)}
restriction(p x1 … xn), for n > 1 EC(restriction(p x1)) ∩…∩EC(restriction(p xn))
restriction(p allValuesFrom(r)) {x ∈ O | <x,y> ∈ ER(p) implies y ∈ EC(r)}
restriction(p someValuesFrom(e)) {x ∈ O | ∃ <x,y> ∈ ER(p) ∧ y ∈ EC(e)}
restriction(p value(i)), for i an individual ID {x ∈ O | <x,S(i)> ∈ ER(p)}
restriction(p value(v)), for v a literal {x ∈ O | <x,S(v)> ∈ ER(p)}
restriction(p minCardinality(n)) {x ∈ O | card({y ∈ O∪LV : <x,y> ∈ ER(p)}) ≥ n}
restriction(p maxCardinality(n)) {x ∈ O | card({y ∈ O∪LV : <x,y> ∈ ER(p)}) ≤ n}
restriction(p cardinality(n)) {x ∈ O | card({y ∈ O∪LV : <x,y> ∈ ER(p)}) = n}
Individual(annotation(p1 o1) … annotation(pk ok)
type(c1) … type(cm) pv1 … pvn)
EC(annotation(p1 o1)) ∩ … EC(annotation(pk ok)) ∩
EC(c1) ∩ … ∩ EC(cm) ∩ EC(pv1) ∩…∩ EC(pvn)
Individual(i annotation(p1 o1) … annotation(pk ok)
type(c1) … type(cm) pv1 … pvn)
{S(i)} ∩ EC(annotation(p1 o1)) ∩ … EC(annotation(pk ok))
∩
EC(c1) ∩ … ∩ EC(cm) ∩ EC(pv1) ∩…∩ EC(pvn)
value(p Individual(…)) {x ∈ O | ∃ y∈EC(Individual(…)) : <x,y> ∈ ER(p)}
value(p id) for id an individual ID {x ∈ O | <x,S(id)> ∈ ER(p) }
value(p v) for v a literal {x ∈ O | <x,S(v)> ∈ ER(p) }
annotation(p o) for o a URI reference {x ∈ R | <x,S(o)> ∈ ER(p) }
annotation(p Individual(…)) {x ∈ R | ∃ y ∈ EC(Individual(…)) : <x,y> ∈ ER(p) }
![Page 16: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/16.jpg)
Interpretation of axioms and facts IDirective Conditions on interpretations
Class(c complete
annotation(p1 o1) … annotation(pk ok)
descr1 … descrn)
S(c) ∈ EC(annotation(p1 o1)) … S(c) ∈EC(annotation(pk ok))
EC(c) = EC(descr1) ∩…∩ EC(descrn)
Class(c partial
annotation(p1 o1) … annotation(pk ok)
descr1 … descrn)
S(c) ∈ EC(annotation(p1 o1)) … S(c) ∈EC(annotation(pk ok))
EC(c) ⊆ EC(descr1) ∩…∩ EC(descrn)
EnumeratedClass(c
annotation(p1 o1) … annotation(pk ok)
i1 … in)
S(c) ∈ EC(annotation(p1 o1)) … S(c) ∈EC(annotation(pk ok))
EC(c) = { S(i1), …, S(in) }
Datatype(c
annotation(p1 o1) … annotation(pk ok) )
S(c) ∈ EC(annotation(p1 o1)) … S(c) ∈EC(annotation(pk ok))
EC(c) ⊆ LV
DisjointClasses(d1 … dn) EC(di) ∩ EC(dj) = { } for 1 ≤ i < j ≤ n
EquivalentClasses(d1 … dn) EC(di) = EC(dj) for 1 ≤ i < j ≤ n
SubClassOf(d1 d2) EC(d1) ⊆ EC(d2)
DatatypeProperty(p
annotation(p1 o1) … annotation(pk ok)
super(s1) … super(sn)
domain(d1) … domain(dn) range(r1) … range(
rn)
[Functional])
S(p) ∈ EC(annotation(p1 o1)) … S(p) ∈EC(annotation(pk ok))
ER(p) ⊆ O×LV ∩ ER(s1) ∩…∩ ER(sn) ∩
EC(d1)×LV ∩…∩ EC(dn)×LV ∩ O×EC(r1)
∩…∩ O×EC(rn)
[ER(p) is functional]
… …
![Page 17: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/17.jpg)
Interpretation of axioms and facts IIDirective Conditions on interpretations
ObjectProperty(p
annotation(p1 o1) … annotation(pk ok)
super(s1) … super(sn)
domain(d1) … domain(dn) range(r1) … range(
rn)
[inverse(i)] [Symmetric]
[Functional] [ InverseFunctional]
[Transitive])
S(p) ∈ EC(annotation(p1 o1)) … S(p) ∈EC(annotation(pk ok))
ER(p) ⊆ O×O ∩ ER(s1) ∩…∩ ER(sn) ∩
EC(d1)×O ∩…∩ EC(dn)×O ∩ O×EC(r1)
∩…∩ O×EC(rn)
[ER(p) is the inverse of ER(i)] [ER(p) is
symmetric]
[ER(p) is functional] [ER(p) is inverse
functional]
[ER(p) is transitive]
AnnotationProperty(p annotation(p1 o1) … annot
ation(pk ok))
S(p) ∈ EC(annotation(p1 o1)) … S(p) ∈EC(annotation(pk ok))
OntologyProperty(p annotation(p1 o1) … annotat
ion(pk ok))
S(p) ∈ EC(annotation(p1 o1)) … S(p) ∈EC(annotation(pk ok))
EquivalentProperties(p1 … pn) ER(pi) = ER(pj) for 1 ≤ i < j ≤ n
SubPropertyOf(p1 p2) ER(p1) ⊆ ER(p2)
SameIndividual(i1 … in) S(ij) = S(ik) for 1 ≤ j < k ≤ n
DifferentIndividuals(i1 … in) S(ij) ≠ S(ik) for 1 ≤ j < k ≤ n
Individual([i] annotation(p1 o1) … annotation(pk o
k)
type(c1) … type(cm) pv1 … pvn)
EC(Individual([i] annotation(p1 o1) … annotation(
pk ok)
type(c1) … type(cm) pv1 … pvn)) is nonempty
![Page 18: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/18.jpg)
Definitions (I)
• Let D be a datatype map. An Abstract OWL interpretation, I, with respect to D with vocabulary consisting of VL, VC, VD, VI, VDP, VIP, VAP, VO, satisfies an OWL ontology, O, iff
• each URI reference in O used as a class ID (datatype ID, individual ID, data-valued property ID, individual-valued property ID, annotation property ID, annotation ID, ontology ID) belongs to VC (VD, VI, VDP, VIP, VAP, VO, respectively);
• each literal in O belongs to VL;
• I satisfies each directive in O, except for Ontology Annotations;
• there is some o ∈ R with <o,S(owl:Ontology)> ∈ER(rdf:type) such that for each Ontology Annotation of the form Annotation(p v), <o,S(v)> ∈ ER(p) and that if O has name n, then S(n) = o;
• I satisfies each ontology mentioned in an owl:imports annotation directive of O.
![Page 19: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/19.jpg)
Definitions (II)
A collection of abstract OWL ontologies and axioms and facts is consistent with respect to datatype map D iff there is some interpretation I with respect to D such that I satisfies each ontology and axiom and fact in the collection.
A collection O of abstract OWL ontologies and axioms and facts entails an abstract OWL ontology or axiom or fact O' with respect to a datatype map D if each interpretation with respect to map D that satisfies each ontology and axiom and fact in O also satisfies O'.
![Page 20: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/20.jpg)
Reasoning
With the definition of the semantics, we may nowdefine some reasoning metods
Reasoning on the structure of the ontology
Reasoning on relationships among classes
Reasoning on instances
![Page 21: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/21.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 21
![Page 22: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/22.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 22
![Page 23: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/23.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 23
![Page 24: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/24.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 24
Is this applicable?
Logic = Perfect reasoning under perfect conditions
therefore…
unlimited time
homogeneous knowledge
correct and consistent knowledge
![Page 25: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/25.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 25
Is Logic good?
Pro
Strong theoretical basis
Well known properties
Well known implementation techniques
Con
Strict (no “good enough” answers)
Abrupt (no intermediate answers)
Inefficient (no time/quality trade-off)
![Page 26: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/26.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 26
Practical limitations
Terminologies will be sloppy
Made by non-experts
Made by machines
Inference rules break!
No standard vocabulary
Communication problems
Need approximate equivalence
Computational explosion
![Page 27: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/27.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 27
Outline
Reasoning in Semantic Web Knowledge Bases
RDF/RDFS Semantics and Entailments
OWL Semantics
Pellet
![Page 28: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/28.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 28
Pellet: an OWL-DL Reasoner
Pellet is a complete and feature-rich reasoner for OWL-DL
Available open-source at http://clarkparsia.com/pellet
Available standalone, or integrated with the major ontology development environments (including Protégé)
![Page 29: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/29.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 29
What is an OWL-DL reasoner
The official normative definition:
An OWL consistency checker takes a document as input, and returns one word being Consistent, Inconsistent, or Unknown. [J. J. Carroll, J. D. Roo, OWL Web Ontology
Language Test Cases, W3C Recommendation http://www.w3.org/TR/owl-test/ (2004).]
Rather restrictive... and not very useful for ontology development, debug and querying
![Page 30: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/30.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 30
Practical Description Logics
Most theoretical works on Description Logics are concerned with the “upper” part of the ontology (classes, relationships)
Object Instances are equally important, if not more, in the Semantic Web
Reasoning over instances is “easier”, but their number may be far larger that the number of classes
![Page 31: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/31.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 31
DL Jargon
Abbr. Stands for Meaning
ABox Assertional Box Component that contains assertions about individuals,i.e. OWL facts such as type, property-value, equality orinequality assertions.
TBox Terminological Box
Component that contains axioms about classes, i.e. OWLaxioms such as subclass, equivalent class or disjointnessaxioms.
KB Knowledge Base
A combination of an ABox and a TBox, i.e. a completeOWL ontology.
![Page 32: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/32.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 32
Classical Types of Logic Inference
Consistency checking, which ensures that an ontology does not contain any contradictory facts.
The OWL Abstract Syntax & Semantics document [S&AS] provides a formal definition of ontology consistency that Pellet uses.
In DL terminology, this is the operation to check the consistency of an ABox with respect to a Tbox.
Equivalent to OWL Consistency Checking
![Page 33: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/33.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 33
Classical Types of Logic Inference
Concept satisfiability, which checks if it is possible for a class to have any instances. If class is unsatisfiable, then defining an instance of the class will cause the whole ontology to be inconsistent.
![Page 34: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/34.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 34
Classical Types of Logic Inference
Classification, which computes the subclass relations between every named class to create the complete class hierarchy. The class hierarchy can be used to answer queries such as getting all or only the direct subclasses of a class.
![Page 35: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/35.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 35
Classical Types of Logic Inference
Realization, which finds the most specific classes that an individual belongs to; or in other words, computes the direct types for each of the individuals. Realization can only be performed after classification since direct types are defined with
![Page 36: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/36.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 36
Pellet architecture
![Page 37: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/37.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 37
Launching Pellet
![Page 38: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/38.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 38
Using Pellet in Protégé
![Page 39: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/39.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 39
Using Pellet in Protégé
![Page 40: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/40.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 40
Activating Inference steps
![Page 41: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/41.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 41
Consistency checking
![Page 42: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/42.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 42
Consistency checking – usually
![Page 43: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/43.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 43
Consistency checking – usually
![Page 44: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/44.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 44
References
Course material for “Practical Reasoning for the Semantic Web” course at the 17th European Summer School in Logic, Language and Information (ESSLLI)
http://www.few.vu.nl/~schlobac/
E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, and Y. Katz, "Pellet: A practical owl-dl reasoner," Web Semantics: Science, Services and Agents on the World Wide Web, vol. 5, no. 2, pp. 51-53, June 2007. [Online]. Available: http://dx.doi.org/10.1016/j.websem.2007.03.004
![Page 45: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/45.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 45
References
OWL Web Ontology Language: Semantics and Abstract Syntax – W3C Recommendation 10 February 2004 [S&AS]
http://www.w3.org/TR/owl-semantics/
![Page 46: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/46.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 46
References
http://www.aaai.org/AITopics/html/reason.html
http://media.cwi.nl/survey/
http://dose.sourceforge.net/
http://www.mkbergman.com
![Page 47: Logic and Reasoning in the Semantic Web (part II –OWL)](https://reader033.vdocuments.net/reader033/viewer/2022051818/54bc9f014a7959906e8b45ff/html5/thumbnails/47.jpg)
F. Corno, L. Farinetti - Politecnico di Torino 47
License
This work is licensed under the Creative Commons Attribution-Noncommercial-Share Alike 3.0 Unported License.
To view a copy of this license, visit http://creativecommons.org/licenses/by-nc-sa/3.0/ or send a letter to Creative Commons, 171 Second Street, Suite 300, San Francisco, California, 94105, USA.