SlideShare a Scribd company logo
1 of 79
1© Copyright 2010 Dieter Fensel and Federico Facca
Semantic Web
Web Ontology Language (OWL)
2
Where are we?
# Title
1 Introduction
2 Semantic Web Architecture
3 Resource Description Framework (RDF)
4 Web of data
5 Generating Semantic Annotations
6 Storage and Querying
7 Web Ontology Language (OWL)
8 Rule Interchange Format (RIF)
9 Reasoning on the Web
10 Ontologies
11 Social Semantic Web
12 Semantic Web Services
13 Tools
14 Applications
3
Agenda
1. Introduction and motivation
2. Technical solution
1. Design principles
2. Dialects
3. OWL-Lite
4. OWL-DL
5. OWL Full
6. Syntaxes
7. Tools
3. Illustration by a large example
4. Extensions
5. Summary
6. References
4
Semantic Web Stack
Adaptedfromhttp://en.wikipedia.org/wiki/Semantic_Web_Stack
5
MOTIVATION
6
What we discussed so far…
• RDF Schema
– RDFS Vocabulary
– RDFS Metadata
– Literals and datatypes in RDFS
• Semantics of RDF and RDF Schema
– Semantic notions
– RDF(S) Entailment
• SPARQL
– SPARQL Queries
– Query answer
7
What we discussed so far…
• RDF Schema
– RDFS Vocabulary
– RDFS Metadata
– Literals and datatypes in RDFS
• Semantics of RDF and RDF Schema
– Semantic notions
– RDF(S) Entailment
• SPARQL
– SPARQL Queries
– Query answer
RDF Vocabulary
Classes:
rdf:Property, rdf:Statement,
rdf:XMLLiteral
rdf:Seq, rdf:Bag, rdf:Alt, rdf:List
Properties:
rdf:type, rdf:subject, rdf:predicate,
rdf:object,
rdf:first, rdf:rest, rdf:_n
rdf:value
Resources:
rdf:nil
8
What we discussed so far…
• RDF Schema
– RDFS Vocabulary
– RDFS Metadata
– Literals and datatypes in RDFS
• Semantics of RDF and RDF Schema
– Semantic notions
– RDF(S) Entailment
• SPARQL
– SPARQL Queries
– Query answer
RDF Vocabulary
Classes:
rdf:Property, rdf:Statement,
rdf:XMLLiteral
rdf:Seq, rdf:Bag, rdf:Alt, rdf:List
Properties:
rdf:type, rdf:subject, rdf:predicate,
rdf:object,
rdf:first, rdf:rest, rdf:_n
rdf:value
Resources:
rdf:nil
RDFS Vocabulary
RDFS Classes
rdfs:Resource
rdfs:Class
rdfs:Literal
rdfs:Datatype
rdfs:Container
rdfs:ContainerMembershipProperty
RDFS Vocabulary
RDFS Properties
rdfs:domain
rdfs:range
rdfs:subPropertyOf
rdfs:subClassOf
rdfs:member
rdfs:seeAlso
rdfs:isDefinedBy
rdfs:comment
rdfs:label
9
What we discussed so far…
• RDF Schema
– RDFS Vocabulary
– RDFS Metadata
– Literals and datatypes in RDFS
• Semantics of RDF and RDF Schema
– Semantic notions
– RDF(S) Entailment
• SPARQL
– SPARQL Queries
– Query answer
10
What we discussed so far…
• RDF Schema
– RDFS Vocabulary
– RDFS Metadata
– Literals and datatypes in RDFS
• Semantics of RDF and RDF Schema
– Semantic notions
– RDF(S) Entailment
• SPARQL
– SPARQL Queries
– Query answer
11
What we discussed so far…
• RDF Schema
– RDFS Vocabulary
– RDFS Metadata
– Literals and datatypes in RDFS
• Semantics of RDF and RDF Schema
– Semantic notions
– RDF(S) Entailment
• SPARQL
– SPARQL Queries
– Query answer
12
What we discussed so far…
• RDF Schema
– RDFS Vocabulary
– RDFS Metadata
– Literals and datatypes in RDFS
• Semantics of RDF and RDF Schema
– Semantic notions
– RDF(S) Entailment
• SPARQL
– SPARQL Queries
– Query answer PREFIX vCard: <http://www.w3.org/2001/vcard-
rdf/3.0#>
SELECT ?fullName
WHERE {?x vCard:FN ?fullName}
13
Requirements for Ontology Languages
• Well-defined syntax
• Convenience of expression
• Formal semantics
– Needed in reasoning, e.g.:
• Class membership
• Equivalence of classes
• Consistency
• Classification
• Efficient reasoning support
• Sufficient expressive power
14
Semantics Limitations of RDFS
• No semantics for:
– Containers
– Collections
– Reification
• Since there are not semantic conditions for containers, RDF does not
support any entailments which could arise from enumerating the elements of
an rdf:Bag in a different order.
_:xxx rdf:type rdf:Bag .
_:xxx rdf:_1 <ex:a> .
_:xxx rdf:_2 <ex:b> .
does not entail
_:xxx rdf:_1 <ex:b> .
_:xxx rdf:_2 <ex:a>
Only type of axiom defined about containers is of the type: rdf:Bag
rdfs:subClassOf rdfs:Container .
15
Semantics Limitations of RDFS
• Originally domain and range of properties rather infer information than
check data
<ex:prop_a> rdf:range <ex:class_a>
then all instances of such property will have type a by inference
<ex:c> <ex:prop_a> <ex:b>
<ex:b> rfd:type <ex:class_b>
<ex:prop_a> rdf:range <ex:class_a>
infer
<ex:b> rfd:type <ex:class_a>
• Now some reasoners allow to use domain and ranges for data check!
– In this case the reasoner will return an inconsistency in the data
16
Expressiveness Limitations of RDF(S)
• Only binary relations
• Characteristics of Properties
– E.g. inverse, transitive, symmetric
• Local range restrictions
– E.g. for class Person, the property hasName has range xsd:string
• Complex concept descriptions
– E.g. Person is defined by Man and Woman
• Cardinality restrictions
– E.g. a Person may have at most 1 name
• Disjointness axioms
– E.g. nobody can be both a Man and a Woman
17
Layering Issues
• Syntax
– Only binary relations in RDF
– Verbose syntax
– No limitations on graph in RDF
• Every graph is valid
• Semantics
– Malformed graphs
– Use of vocabulary in language
• e.g. <rdfs:Class, rdfs:subClassOf, ex:a>
– Meta-classes
• e.g. <rdfs:Class, rdfs:subClassOf, ex:a>, <rdfs:Class,
rdfs:subClassOf, ex:b>, <ex:a, rdf:type, ex:b>
18
Layering Issues: Syntax
• Triples make syntax unnatural
– Restrictions have to be split up
– Collections have to split up
• Triples allow for deviant syntax
– Restrictions with too many pieces
– Collections with missing or multiple components
• Triples allow additions at any time.
– Can't forbid new triples attached to old syntax.
19
Layering Issues: Semantics
• Everything is triples; all triples have meaning.
• All aspects of syntax contribute to meaning.
– e.g., ordering in collections
– the intersection of Student and Employee is different from the intersection of
Employee and Student
• All syntax refers to something.
– e.g., descriptions live in the domain
– to infer membership in a description, the description has to exist
– leads to semantic paradoxes
20
Layering Issues: Semantics (Example)
• A Desirable Inference:
• Premises: John is an instance of Student.
John is an instance of Employee. Conclusion: John is an instance of the
intersection of Student and Employee.
• In an RDF extension, this requires that the intersection automatically
exists whenever Student and Employee exists.
• Many more of these examples can be devised
21
TECHNICAL SOLUTION
The Web Ontology Language
22
Design Goals for OWL I
• Shareable
– Ontologies should be publicly available and different data sources should be able to
commit to the same ontology for shared meaning. Also, ontologies should be able to
extend other ontologies in order to provide additional definitions.
• Changing over time
– An ontology may change during its lifetime. A data source should specify the version
of an ontology to which it commits.
• Interoperability
– Different ontologies may model the same concepts in different ways. The language
should provide primitives for relating different representations, thus allowing data to
be converted to different ontologies and enabling a "web of ontologies."
23
Design Goals for OWL II
• Inconsistency detection
– Different ontologies or data sources may be contradictory. It should be possible to
detect these inconsistencies.
• Balancing expressivity and complexity
– The language should be able to express a wide variety of knowledge, but should also
provide for efficient means to reason with it. Since these two requirements are
typically at odds, the goal of the web ontology language is to find a balance that
supports the ability to express the most important kinds of knowledge.
• Ease of use
– The language should provide a low learning barrier and have clear concepts and
meaning. The concepts should be independent from syntax.
24
Design Goals for OWL III
• Compatible with existing standards
– The language should be compatible with other commonly used Web and industry
standards. In particular, this includes XML and related standards (such as XML
Schema and RDF), and possibly other modeling standards such as UML.
• Internationalization
– The language should support the development of multilingual ontologies, and
potentially provide different views of ontologies that are appropriate for different
cultures.
25
Requirements for OWL
• Ontologies are object on the Web with their own meta-data,
versioning, etc...
• Ontologies are extendable
From Grigoris Antoniou and Frank van Harmelen: A Semantic Web Primer, MIT Press 2004
26
Requirements for OWL
• Ontologies are object on the Web with their own meta-data,
versioning, etc...
• Ontologies are extendable
• They contain classes, properties, data-types, range/domain,
individuals
• Equality (for classes, for individuals)
• Classes as instances
• Cardinality constraints
• XML syntax
27
Objectives for OWL
Objectives:
– Layered language
– Complex datatypes
– Digital signatures
– Decidability (in part)
– Local unique names (in
part)
Disregarded:
– Default values
– Closed world option
– Property chaining
– Arithmetic
– String operations
– Partial imports
– View definitions
– Procedural attachments
A logical system or theory is decidable if there exists an
effective method such that for every formula in the system
the method is capable of deciding whether the formula is valid
in the system or not.
[http://www.wikipedia.org]
[http://www.w3.org/TR/webont-req/]
28
OWL DIALECTS
29
Lite
partially restricted to aid learning curve
lite
DL = Description Logic
Description Logics are a fragment of
First Order Logic (FOL) that can be
reasoned with
DL
Full
unrestricted use of OWL
constructs, but cannot reason
Full
OWL comes in 3 Dialects
30
OWL Dialects
• OWL Lite
– Classification hierarchy
– Simple constraints
• OWL DL
– Maximal expressiveness while maintaining tractability
– Standard formalization in a DL
• OWL Full
– Very high expressiveness
– Losing tractability
– All syntactic freedom of RDF (self-modifying) ): e.g. statements about statements are
possible. Meta-modeling as well.
31
OWL Lite
• No explicit negation or union
• Restricted cardinality (0/1)
• No nominals (oneOf)
• DL-based semantics
– Reasoning via DL engines (+ datatypes)
• Semantically, only small restriction on OWL DL
– No nominals
– No arbitrary cardinality
32
OWL DL
• Use of vocabulary restricted
– Can’t be used to do “nasty things” (e.g. modify OWL)
– No classes as instances
– Defined by abstract syntax
• Standard DL-based model theory
– Direct correspondence with a DL
– Partial reasoning via DL engines
– Reasoning for full language via FOL engines
• No need for axiomatization
• Built-in datatypes required for performance
33
OWL Full
• No restriction on use of vocabulary (as long as legal RDF)
– Classes as instances (and much more)
• RDF style model theory
– Reasoning using FOL engine
– Semantics should correspond to OWL DL for restricted KBs
34
Summary Features of OWL Dialects
• OWL Lite
– (sub)classes, individuals
– (sub)properties, domain,
range
– conjunction
– (in)equality
– cardinality 0/1
– datatypes
– inverse, transitive,
symmetric properties
– someValuesFrom
– allValuesFrom
• OWL DL
– Negation
– Disjunction
– Full cardinality
– Enumerated types
– hasValue
• OWL Full
– Meta-classes
– Modify language
35
OWL Dialects vs Description Logics
• OWL Lite corresponds to the DL SHIN(D)
– Named classes (A)
– Named properties (P)
– Individuals (C(o))
– Property values (P(o, a))
– Intersection (C ⊓ D)
– Union(!) (C ⊔ D)
– Negation(!) (¬C)
– Existential value restrictions (∃P.C)
– Universal value restrictions (∀P.C)
– Unqualified number restrictions (≥ nP, ≤ nP, = nP)
• OWL DL corresponds to the DL SHOIN(D)
– Property value (∃ P.{o})
– Enumeration ({o1, ..., on})
• OWL Full is not a Description Logic
36
OWL SYNTAX
37
OWL Syntax: Abstract Syntax
• One of the clearer human-readable syntaxes
Class(SpicyPizza complete
annotation(rdfs:label "PizzaTemperada"@pt)
annotation(rdfs:comment "Any pizza that has a spicy
topping is a SpicyPizza"@en)
Pizza
restriction(hasTopping someValuesFrom(SpicyTopping))
)
38
OWL Syntax: N3
• Recommended for human-readable fragments
default:SpicyPizza
a owl:Class ;
rdfs:comment "Any pizza that has a spicy topping is a
SpicyPizza"@en ;
rdfs:label "PizzaTemperada"@pt ;
owl:equivalentClass
[ a owl:Class ;
owl:intersectionOf (default:Pizza [ a owl:Restriction ;
owl:onProperty default:hasTopping ;
owl:someValuesFrom default:SpicyTopping
])
] .
39
OWL Syntax: RDF/XML
• Recommended for serialisation
<owl:Class rdf:ID="SpicyPizza">
<rdfs:label xml:lang="pt">PizzaTemperada</rdfs:label>
<rdfs:comment xml:lang="en">Any pizza that has a spicy topping is a SpicyPizza</rdfs:comment>
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Pizza"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#hasTopping"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="#SpicyTopping"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
40
Abstract Syntax: Declaring classes in OWL
• Naming a new class “plant”:
Class(pp:plant partial)
• Naming some “special plants”:
Class(pp:grass partial pp:plant)
Class(pp:tree partial pp:plant)
• Alternative Declaration:
Class(pp:grass partial)
Class(pp:tree partial)
SubClassOf(pp:grass pp:plant)
SubClassOf(pp:tree pp:plant)
41
Abstract Syntax: Declaring Properties in OWL
• A simple property:
ObjectProperty(pp:eaten_by)
• Properties may be inverse to each other:
ObjectProperty(pp:eats inverseOf(pp:eaten_by))
• Domain and Ranges:
ObjectProperty(pp:has_pet
domain(pp:person)
range(pp:animal))
42
Abstract Syntax: Declaring Properties in OWL
• Datatype Properties:
DataProperty(pp:service_number range(xsd:integer))
• Property Hierarchy:
SubPropertyOf(pp:has_pet pp:likes)
• Algebraic properties:
ObjectProperty(pp:married_to Symmetric)
ObjectProperty(pp:ancestor_of Transitive)
ObjectProperty(pp:passport_nr Functional)
43
Abstract Syntax: Individuals in OWL
• Individual(pp:Tom type(owl:Person))
• Individual(pp:Dewey type(pp:duck))
• Individual(pp:Rex type(pp:dog)
value(pp:is_pet_of pp:Mick))
• Individual(pp:Mick type(pp:male)
value(pp:reads pp:Daily-Mirror)
value(pp:drives pp:Golf-GTI)
value(pp:name „Mick"ˆxsd:string))
44
TOOLS
45
Tool Support for OWL
• Ontology editors
– Protégé (http://protege.stanford.edu/)
– OilED (http://oiled.man.ac.uk/)
– OntoStudio (http://www.ontoprise.de/en/home/products/ontostudio/)
• APIs
– OWL-API (http://owlapi.sourceforge.net/)
– Jena (http://jena.sourceforge.net/)
• Reasoners
– Hoolet (http://owl.man.ac.uk/hoolet/)
– Fact++ (http://owl.man.ac.uk/factplusplus/)
– KAON2 (http://kaon2.semanticweb.org/)
– Pellet (http://clarkparsia.com/pellet/)
46
• Developed by Stanford Medical Informatics
• Has a large user community (approx 30k)
• Support
– Graph view, consistency check, web, merging
• No support
– Addition of new basic types
– Limited multi-user support
47
OilEd
• Developed by Information Management Group, CS Dept., Univ. of
Manchester, UK
• Simple editor, not intended as a full ontology development environment
• Support
– Consistency check, web
• No support
– Graph view, extensibility
48
OntoStudio
• Developed by Ontoprise, Germany
• Support
– Graph view, consistency check, web
– Built-in inference engine, DBMS, collaborative working and ontology library
49
OWL-API
• A Java interface and implementation for the W3C Web Ontology
Language OWL
• Open source and is available under the LGPL License
• Support
– OWL 2
– RDF/XML parser and writer
– OWL/XML parser and writer
– OWL Functional Syntax parser and writer
– Integration with reasoners such as Pellet and FaCT++
50
Jena
• A Java framework for building Semantic Web applications
• Jena is open source
• Initiated by Hewlett Packard (HP) Labs Semantic Web Programme.
• Support:
– A RDF API
– Reading and writing RDF in RDF/XML, N3 and N-Triples
– An OWL API
– In-memory and persistent storage
– SPARQL query engine
51
Hoolet
• An implementation of an OWL-DL reasoner
• Uses a first order prover.
• The ontology is translated to collection of axioms (in an obvious way
based on the OWL semantics) and this collection of axioms is then
given to a first order prover for consistency checking.
52
Hoolet
• An implementation of an OWL-DL reasoner
• Uses a first order prover.
• The ontology is translated to collection of axioms (in an obvious way
based on the OWL semantics) and this collection of axioms is then
given to a first order prover for consistency checking.
53
KAON 2
• An infrastructure for managing OWL-DL, SWRL, and F-Logic ontologies
• Joint effort of: Research Center for Information Technologies, University
of Karlsruhe, University of Manchester
• Support
– An API for programmatic management of OWL-DL, SWRL, and F-Logic ontologies,
– A stand-alone server providing access to ontologies in a distributed manner using
RMI,
– An inference engine for answering conjunctive queries (expressed using SPARQL
syntax),
– A DIG interface, allowing access from tools such as Protégé,
– A module for extracting ontology instances from relational databases.
54
Pellet
• Open-source Java OWL DL reasoner
• Support expressivity of SROIQ(D)
• Supports SWRL rules
• Available through AGPL version 3 licence
55
FaCT++
• New generation and C++ implementation of FaCT
• Support expressivity of SROIQ(D)
• No support for Rules
• Available through GNU public license
• Integrated in Protege 4.0
56
Playing with Protégé and Fact++
• Let’s load and ontology that represent family relationships
– http://protege.cim3.net/file/pub/ontologies/generations/generations.owl
57
Playing with Protégé and Fact++
• For example the ontology directly defines the concepts of parent and
father/mother but not the relation among them
• What happens if we attach the Fact++ Reasoner?
58
Playing with Protégé and Fact++
• Father now is classified as
subclass of Man and Parent
• Two instances are part of
this class
– William type Person
hasChild Peter
hasSex Male
– Peter type Person
hasChild Matt
hasSex Male
59
Playing with Protégé and Fact++
• Asserted Hierarchy • Inferred Hierarchy
60
ILLUSTRATION BY A LARGER
EXAMPLE
An example of usage of OWL
61
The Wine Ontology
• An Ontology describing wine domain
• One of the most widely used examples for OWL and referenced by
W3C.
• There is also a wine agent associated to this ontology that performs
OWL queries using a web-based ontological mark-up language. That is,
by combining a logical reasoner with an OWL ontology.
• The agent's operation can be described in three parts: consulting the
ontology, performing queries and outputting results.
• Available here: http://www.w3.org/TR/owl-guide/
62
Wine Ontology Schema
[http://mysite.verizon.net/jflynn12/VisioOWL/VisioOWL.htm]
63
Wine Ontology OWL Example
<owl:Class rdf:ID="CheninBlanc">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#hasColor"/>
<owl:hasValue rdf:resource="#White"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#hasBody"/>
<owl:allValuesFrom>
<owl:Class>
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:about="#Full"/>
<owl:Thing rdf:about="#Medium"/>
</owl:oneOf>
</owl:Class>
</owl:allValuesFrom>
</owl:Restriction>
</rdfs:subClassOf>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Wine"/>
<owl:Restriction>
<owl:onProperty rdf:resource="#madeFromGrape"/>
<owl:hasValue rdf:resource="#CheninBlancGrape"/>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="#madeFromGrape"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality>
</owl:Restriction>
</owl:intersectionOf>
…
</owl:Class>
<CheninBlanc rdf:ID="VentanaCheninBlanc">
<locatedIn rdf:resource="#CentralCoastRegion"/>
<hasMaker rdf:resource="#Ventana"/>
<hasSugar rdf:resource="#OffDry"/>
<hasFlavor rdf:resource="#Moderate"/>
<hasBody rdf:resource="#Medium"/>
</CheninBlanc>
64
EXTENSIONS
65
Experience with OWL
• OWL playing key role in increasing number & range of applications
– eScience, eCommerce, geography, engineering, defence, …
– E.g., OWL tools used to identify and repair errors in a medical ontology: “would have led to
missed test results if not corrected”
• Experience of OWL in use has identified restrictions:
– on expressivity
– on scalability
• These restrictions are problematic in some applications
• Research has now shown how some restrictions can be overcome
• W3C OWL WG has updated OWL accordingly
– Result is called OWL 2
• OWL 2 is now a Proposed Recommendation
66
OWL 2 in a Nutshell
• Extends OWL with a small but useful set of features
– That are needed in applications
– For which semantics and reasoning techniques are well understood
– That tool builders are willing and able to support
• Adds profiles
– Language subsets with useful computational properties
• Is fully backwards compatible with OWL:
– Every OWL ontology is a valid OWL 2 ontology
– Every OWL 2 ontology not using new features is a valid OWL ontology
• Already supported by popular OWL tools & infrastructure:
– Protégé, HermiT, Pellet, FaCT++, OWL API
67
Increased expressive power
• Qualified cardinality restrictions
– e.g., persons having two friends who are republicans
• Property chains
– e.g., the brother of your parent is your uncle
• Local reflexivity restrictions
– e.g., narcissists love themselves
• Reflexive, irreflexive, and asymmetric properties
– e.g., nothing can be a proper part of itself (irreflexive)
• Disjoint properties
– e.g., you can’t be both the parent of and child of the same person
• Keys
– e.g., country + license plate constitute a unique identifier for vehicles
68
Extended Datatypes
• Much wider range of XSD Datatypes supported:
• e.g., Integer, string, boolean, real, decimal, float, datatime, …
• User-defined datatypes using facets, e.g.:
– max weight of an airmail letter:
xsd:integer maxInclusive ”20"^^xsd:integer
– format of Italian registration plates:
xsd:string xsd:pattern "[A-Z]{2} [0-9]{3}[A-Z]{2}
69
Metamodelling and annotations
• Restricted form of metamodelling via “punning”, e.g.:
– SnowLeopard subClassOf BigCat (i.e., a class)
– SnowLeopard type EndangeredSpecies (i.e., an individual)
• Annotations of axioms as well as entities, e.g.:
– SnowLeopard type EndangeredSpecies (“source: WWF”)
• Even annotations of annotations
70
Syntactic sugar
• Disjoint unions
– Element is the DisjointUnion of Earth Wind Fire Water
– i.e., Element is equivalent to the union of Earth Wind Fire Water
– Earth Wind Fire Water are pair-wise disjoint
• Negative assertions
• Mary is not a sister of Ian
• 21 is not the age of Ian
71
Profiles
• OWL only useful in practice if we can deal with large ontologies and/or
large data sets
• Unfortunately, OWL is worst case highly intractable
– OWL 2 ontology satisfiability is 2NEXPTIME-complete
• Possible solution is profiles: language subsets with useful computational
properties
• OWL defined one such profile: OWL Lite
– Unfortunately, it isn’t tractable either! (EXPTIME-complete)
72
Profiles
OWL 2 defines three different tractable profiles:
• EL: polynomial time reasoning for schema and data
– Useful for ontologies with large conceptual part
• QL: fast (logspace) query answering using RDBMs via SQL
– Useful for large datasets already stored in RDBs
• RL: fast (polynomial) query answering using rule-extended DBs
– Useful for large datasets stored as RDF triples
73
OWL 2 EL
• A (near maximal) fragment of OWL 2 such that
– Satisfiability checking is in PTime (PTime-Complete)
– Data complexity of query answering also PTime-Complete
• Based on EL family of description logics
– Existential (someValuesFrom) + conjunction
• Can exploit saturation based reasoning techniques
– Computes classification in “one pass”
– Computationally optimal
– Can be extended to Horn fragment of OWL DL
74
SUMMARY
75
Summary
• Limitations of RDFS
– Expressivity limitations
– Problems with layering
• Web Ontology Language OWL
– Design of OWL
– OWL Layering
– OWL and Description Logics
– OWL Syntaxes
76
References
• Mandatory reading:
– Semantic Web Primer
• Chapters 4
– [OWL Guide]
• http://www.w3.org/TR/owl-guide/
– Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. From SHIQ and RDF to
OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7, 2003.
• http://www.cs.vu.nl/%7Efrankh/abstracts/JWS03.html
• Further reading:
– Jos de Bruijn: Using Ontologies. Enabling Knowledge Sharing and Reuse on the Semantic
Web. DERI Technical Report DERI-2003-10-29, 2003.
• http://www.deri.org/publications/techpapers/documents/DERI-TR-2003-10-29.pdf
– [OWL Reference]
• http://www.w3.org/TR/owl-ref/
– [OWL Abstract syntax and Semantics]
• http://www.w3.org/TR/owl-semantics
– J. de Bruijn, A. Polleres, R. Lara, and D. Fensel: OWL DL vs. OWL Flight: Conceptual
modeling and reasoning on the semantic web. In Proceedings of the 14th International
World Wide Web Conference (WWW2005), Chiba, Japan, 2005. ACM.
77
References
• Wikipedia links:
– http://en.wikipedia.org/wiki/Web_Ontology_Language
– http://en.wikipedia.org/wiki/OWL_2
– http://en.wikipedia.org/wiki/Description_Logic
78
Next Lecture
# Title
1 Introduction
2 Semantic Web Architecture
3 Resource Description Framework (RDF)
4 Web of data
5 Generating Semantic Annotations
6 Storage and Querying
7 Web Ontology Language (OWL)
8 Rule Interchange Format (RIF)
9 Reasoning on the Web
10 Ontologies
11 Social Semantic Web
12 Semantic Web Services
13 Tools
14 Applications
7979
Questions?

More Related Content

What's hot

Owl web ontology language
Owl  web ontology languageOwl  web ontology language
Owl web ontology languagehassco2011
 
OWL Web Ontology Language Overview
OWL Web Ontology Language OverviewOWL Web Ontology Language Overview
OWL Web Ontology Language OverviewIgor Myroshnichenko
 
Jarrar: OWL -Web Ontology Language
Jarrar: OWL -Web Ontology LanguageJarrar: OWL -Web Ontology Language
Jarrar: OWL -Web Ontology LanguageMustafa Jarrar
 
Intro to OWL & Ontology
Intro to OWL & OntologyIntro to OWL & Ontology
Intro to OWL & OntologyNarni Rajesh
 
Ontologies and semantic web
Ontologies and semantic webOntologies and semantic web
Ontologies and semantic webStanley Wang
 
Ontology Engineering: Introduction
Ontology Engineering: IntroductionOntology Engineering: Introduction
Ontology Engineering: IntroductionGuus Schreiber
 
Resource description framework
Resource description frameworkResource description framework
Resource description frameworkhozifa1010
 
Understanding RDF: the Resource Description Framework in Context (1999)
Understanding RDF: the Resource Description Framework in Context  (1999)Understanding RDF: the Resource Description Framework in Context  (1999)
Understanding RDF: the Resource Description Framework in Context (1999)Dan Brickley
 

What's hot (9)

Owl web ontology language
Owl  web ontology languageOwl  web ontology language
Owl web ontology language
 
OWL Web Ontology Language Overview
OWL Web Ontology Language OverviewOWL Web Ontology Language Overview
OWL Web Ontology Language Overview
 
Jarrar: OWL -Web Ontology Language
Jarrar: OWL -Web Ontology LanguageJarrar: OWL -Web Ontology Language
Jarrar: OWL -Web Ontology Language
 
Intro to OWL & Ontology
Intro to OWL & OntologyIntro to OWL & Ontology
Intro to OWL & Ontology
 
Ontologies and semantic web
Ontologies and semantic webOntologies and semantic web
Ontologies and semantic web
 
Ontology Engineering: Introduction
Ontology Engineering: IntroductionOntology Engineering: Introduction
Ontology Engineering: Introduction
 
Resource description framework
Resource description frameworkResource description framework
Resource description framework
 
Ontology engineering
Ontology engineering Ontology engineering
Ontology engineering
 
Understanding RDF: the Resource Description Framework in Context (1999)
Understanding RDF: the Resource Description Framework in Context  (1999)Understanding RDF: the Resource Description Framework in Context  (1999)
Understanding RDF: the Resource Description Framework in Context (1999)
 

Similar to sw owl

Knowledge Representation, Semantic Web
Knowledge Representation, Semantic WebKnowledge Representation, Semantic Web
Knowledge Representation, Semantic WebSerendipity Seraph
 
CS6010 Social Network Analysis Unit II
CS6010 Social Network Analysis   Unit IICS6010 Social Network Analysis   Unit II
CS6010 Social Network Analysis Unit IIpkaviya
 
IWMW 2003: Semantic Web Technologies for UK HE and FE Institutions (Part 2)
IWMW 2003: Semantic Web Technologies for UK HE and FE Institutions (Part 2)IWMW 2003: Semantic Web Technologies for UK HE and FE Institutions (Part 2)
IWMW 2003: Semantic Web Technologies for UK HE and FE Institutions (Part 2)IWMW
 
20181106 survey on challenges of question answering in the semantic web saltlux
20181106 survey on challenges of question answering in the semantic web saltlux20181106 survey on challenges of question answering in the semantic web saltlux
20181106 survey on challenges of question answering in the semantic web saltluxDongGyun Hong
 
Publishing and Using Linked Open Data - Day 2
Publishing and Using Linked Open Data - Day 2Publishing and Using Linked Open Data - Day 2
Publishing and Using Linked Open Data - Day 2Richard Urban
 
Gathering Lexical Linked Data and Knowledge Patterns from FrameNet
Gathering Lexical Linked Data and Knowledge Patterns from FrameNetGathering Lexical Linked Data and Knowledge Patterns from FrameNet
Gathering Lexical Linked Data and Knowledge Patterns from FrameNetAndrea Nuzzolese
 
Knowledge engineering and the Web
Knowledge engineering and the WebKnowledge engineering and the Web
Knowledge engineering and the WebGuus Schreiber
 
Getting Started with Knowledge Graphs
Getting Started with Knowledge GraphsGetting Started with Knowledge Graphs
Getting Started with Knowledge GraphsPeter Haase
 
RDF Seminar Presentation
RDF Seminar PresentationRDF Seminar Presentation
RDF Seminar PresentationMuntazir Mehdi
 
Innovative methods for data integration: Linked Data and NLP
Innovative methods for data integration: Linked Data and NLPInnovative methods for data integration: Linked Data and NLP
Innovative methods for data integration: Linked Data and NLPariadnenetwork
 
First Steps in Semantic Data Modelling and Search & Analytics in the Cloud
First Steps in Semantic Data Modelling and Search & Analytics in the CloudFirst Steps in Semantic Data Modelling and Search & Analytics in the Cloud
First Steps in Semantic Data Modelling and Search & Analytics in the CloudOntotext
 
A review of the state of the art in Machine Learning on the Semantic Web
A review of the state of the art in Machine Learning on the Semantic WebA review of the state of the art in Machine Learning on the Semantic Web
A review of the state of the art in Machine Learning on the Semantic WebSimon Price
 
Semantic web
Semantic webSemantic web
Semantic webtariq1352
 
Services semantic technology_terminology
Services semantic technology_terminologyServices semantic technology_terminology
Services semantic technology_terminologyTenforce
 
Web 3 final(1)
Web 3 final(1)Web 3 final(1)
Web 3 final(1)Venky Dood
 

Similar to sw owl (20)

Knowledge Representation, Semantic Web
Knowledge Representation, Semantic WebKnowledge Representation, Semantic Web
Knowledge Representation, Semantic Web
 
Knowledge mangement
Knowledge mangementKnowledge mangement
Knowledge mangement
 
CS6010 Social Network Analysis Unit II
CS6010 Social Network Analysis   Unit IICS6010 Social Network Analysis   Unit II
CS6010 Social Network Analysis Unit II
 
Extended WordNet
Extended WordNetExtended WordNet
Extended WordNet
 
IWMW 2003: Semantic Web Technologies for UK HE and FE Institutions (Part 2)
IWMW 2003: Semantic Web Technologies for UK HE and FE Institutions (Part 2)IWMW 2003: Semantic Web Technologies for UK HE and FE Institutions (Part 2)
IWMW 2003: Semantic Web Technologies for UK HE and FE Institutions (Part 2)
 
20181106 survey on challenges of question answering in the semantic web saltlux
20181106 survey on challenges of question answering in the semantic web saltlux20181106 survey on challenges of question answering in the semantic web saltlux
20181106 survey on challenges of question answering in the semantic web saltlux
 
Publishing and Using Linked Open Data - Day 2
Publishing and Using Linked Open Data - Day 2Publishing and Using Linked Open Data - Day 2
Publishing and Using Linked Open Data - Day 2
 
Gathering Lexical Linked Data and Knowledge Patterns from FrameNet
Gathering Lexical Linked Data and Knowledge Patterns from FrameNetGathering Lexical Linked Data and Knowledge Patterns from FrameNet
Gathering Lexical Linked Data and Knowledge Patterns from FrameNet
 
Ontology Engineering
Ontology EngineeringOntology Engineering
Ontology Engineering
 
Knowledge engineering and the Web
Knowledge engineering and the WebKnowledge engineering and the Web
Knowledge engineering and the Web
 
Semantic web
Semantic webSemantic web
Semantic web
 
Getting Started with Knowledge Graphs
Getting Started with Knowledge GraphsGetting Started with Knowledge Graphs
Getting Started with Knowledge Graphs
 
RDF Seminar Presentation
RDF Seminar PresentationRDF Seminar Presentation
RDF Seminar Presentation
 
Innovative methods for data integration: Linked Data and NLP
Innovative methods for data integration: Linked Data and NLPInnovative methods for data integration: Linked Data and NLP
Innovative methods for data integration: Linked Data and NLP
 
Ontologies Fmi 042010
Ontologies Fmi 042010Ontologies Fmi 042010
Ontologies Fmi 042010
 
First Steps in Semantic Data Modelling and Search & Analytics in the Cloud
First Steps in Semantic Data Modelling and Search & Analytics in the CloudFirst Steps in Semantic Data Modelling and Search & Analytics in the Cloud
First Steps in Semantic Data Modelling and Search & Analytics in the Cloud
 
A review of the state of the art in Machine Learning on the Semantic Web
A review of the state of the art in Machine Learning on the Semantic WebA review of the state of the art in Machine Learning on the Semantic Web
A review of the state of the art in Machine Learning on the Semantic Web
 
Semantic web
Semantic webSemantic web
Semantic web
 
Services semantic technology_terminology
Services semantic technology_terminologyServices semantic technology_terminology
Services semantic technology_terminology
 
Web 3 final(1)
Web 3 final(1)Web 3 final(1)
Web 3 final(1)
 

Recently uploaded

Student profile product demonstration on grades, ability, well-being and mind...
Student profile product demonstration on grades, ability, well-being and mind...Student profile product demonstration on grades, ability, well-being and mind...
Student profile product demonstration on grades, ability, well-being and mind...Seán Kennedy
 
毕业文凭制作#回国入职#diploma#degree澳洲中央昆士兰大学毕业证成绩单pdf电子版制作修改#毕业文凭制作#回国入职#diploma#degree
毕业文凭制作#回国入职#diploma#degree澳洲中央昆士兰大学毕业证成绩单pdf电子版制作修改#毕业文凭制作#回国入职#diploma#degree毕业文凭制作#回国入职#diploma#degree澳洲中央昆士兰大学毕业证成绩单pdf电子版制作修改#毕业文凭制作#回国入职#diploma#degree
毕业文凭制作#回国入职#diploma#degree澳洲中央昆士兰大学毕业证成绩单pdf电子版制作修改#毕业文凭制作#回国入职#diploma#degreeyuu sss
 
Learn How Data Science Changes Our World
Learn How Data Science Changes Our WorldLearn How Data Science Changes Our World
Learn How Data Science Changes Our WorldEduminds Learning
 
INTERNSHIP ON PURBASHA COMPOSITE TEX LTD
INTERNSHIP ON PURBASHA COMPOSITE TEX LTDINTERNSHIP ON PURBASHA COMPOSITE TEX LTD
INTERNSHIP ON PURBASHA COMPOSITE TEX LTDRafezzaman
 
Generative AI for Social Good at Open Data Science East 2024
Generative AI for Social Good at Open Data Science East 2024Generative AI for Social Good at Open Data Science East 2024
Generative AI for Social Good at Open Data Science East 2024Colleen Farrelly
 
Decoding the Heart: Student Presentation on Heart Attack Prediction with Data...
Decoding the Heart: Student Presentation on Heart Attack Prediction with Data...Decoding the Heart: Student Presentation on Heart Attack Prediction with Data...
Decoding the Heart: Student Presentation on Heart Attack Prediction with Data...Boston Institute of Analytics
 
Predicting Salary Using Data Science: A Comprehensive Analysis.pdf
Predicting Salary Using Data Science: A Comprehensive Analysis.pdfPredicting Salary Using Data Science: A Comprehensive Analysis.pdf
Predicting Salary Using Data Science: A Comprehensive Analysis.pdfBoston Institute of Analytics
 
Semantic Shed - Squashing and Squeezing.pptx
Semantic Shed - Squashing and Squeezing.pptxSemantic Shed - Squashing and Squeezing.pptx
Semantic Shed - Squashing and Squeezing.pptxMike Bennett
 
DBA Basics: Getting Started with Performance Tuning.pdf
DBA Basics: Getting Started with Performance Tuning.pdfDBA Basics: Getting Started with Performance Tuning.pdf
DBA Basics: Getting Started with Performance Tuning.pdfJohn Sterrett
 
RS 9000 Call In girls Dwarka Mor (DELHI)⇛9711147426🔝Delhi
RS 9000 Call In girls Dwarka Mor (DELHI)⇛9711147426🔝DelhiRS 9000 Call In girls Dwarka Mor (DELHI)⇛9711147426🔝Delhi
RS 9000 Call In girls Dwarka Mor (DELHI)⇛9711147426🔝Delhijennyeacort
 
Conf42-LLM_Adding Generative AI to Real-Time Streaming Pipelines
Conf42-LLM_Adding Generative AI to Real-Time Streaming PipelinesConf42-LLM_Adding Generative AI to Real-Time Streaming Pipelines
Conf42-LLM_Adding Generative AI to Real-Time Streaming PipelinesTimothy Spann
 
办理学位证中佛罗里达大学毕业证,UCF成绩单原版一比一
办理学位证中佛罗里达大学毕业证,UCF成绩单原版一比一办理学位证中佛罗里达大学毕业证,UCF成绩单原版一比一
办理学位证中佛罗里达大学毕业证,UCF成绩单原版一比一F sss
 
Biometric Authentication: The Evolution, Applications, Benefits and Challenge...
Biometric Authentication: The Evolution, Applications, Benefits and Challenge...Biometric Authentication: The Evolution, Applications, Benefits and Challenge...
Biometric Authentication: The Evolution, Applications, Benefits and Challenge...GQ Research
 
Heart Disease Classification Report: A Data Analysis Project
Heart Disease Classification Report: A Data Analysis ProjectHeart Disease Classification Report: A Data Analysis Project
Heart Disease Classification Report: A Data Analysis ProjectBoston Institute of Analytics
 
Identifying Appropriate Test Statistics Involving Population Mean
Identifying Appropriate Test Statistics Involving Population MeanIdentifying Appropriate Test Statistics Involving Population Mean
Identifying Appropriate Test Statistics Involving Population MeanMYRABACSAFRA2
 
NO1 Certified Black Magic Specialist Expert Amil baba in Lahore Islamabad Raw...
NO1 Certified Black Magic Specialist Expert Amil baba in Lahore Islamabad Raw...NO1 Certified Black Magic Specialist Expert Amil baba in Lahore Islamabad Raw...
NO1 Certified Black Magic Specialist Expert Amil baba in Lahore Islamabad Raw...Amil Baba Dawood bangali
 
Effects of Smartphone Addiction on the Academic Performances of Grades 9 to 1...
Effects of Smartphone Addiction on the Academic Performances of Grades 9 to 1...Effects of Smartphone Addiction on the Academic Performances of Grades 9 to 1...
Effects of Smartphone Addiction on the Academic Performances of Grades 9 to 1...limedy534
 
modul pembelajaran robotic Workshop _ by Slidesgo.pptx
modul pembelajaran robotic Workshop _ by Slidesgo.pptxmodul pembelajaran robotic Workshop _ by Slidesgo.pptx
modul pembelajaran robotic Workshop _ by Slidesgo.pptxaleedritatuxx
 
Easter Eggs From Star Wars and in cars 1 and 2
Easter Eggs From Star Wars and in cars 1 and 2Easter Eggs From Star Wars and in cars 1 and 2
Easter Eggs From Star Wars and in cars 1 and 217djon017
 

Recently uploaded (20)

Student profile product demonstration on grades, ability, well-being and mind...
Student profile product demonstration on grades, ability, well-being and mind...Student profile product demonstration on grades, ability, well-being and mind...
Student profile product demonstration on grades, ability, well-being and mind...
 
毕业文凭制作#回国入职#diploma#degree澳洲中央昆士兰大学毕业证成绩单pdf电子版制作修改#毕业文凭制作#回国入职#diploma#degree
毕业文凭制作#回国入职#diploma#degree澳洲中央昆士兰大学毕业证成绩单pdf电子版制作修改#毕业文凭制作#回国入职#diploma#degree毕业文凭制作#回国入职#diploma#degree澳洲中央昆士兰大学毕业证成绩单pdf电子版制作修改#毕业文凭制作#回国入职#diploma#degree
毕业文凭制作#回国入职#diploma#degree澳洲中央昆士兰大学毕业证成绩单pdf电子版制作修改#毕业文凭制作#回国入职#diploma#degree
 
Learn How Data Science Changes Our World
Learn How Data Science Changes Our WorldLearn How Data Science Changes Our World
Learn How Data Science Changes Our World
 
INTERNSHIP ON PURBASHA COMPOSITE TEX LTD
INTERNSHIP ON PURBASHA COMPOSITE TEX LTDINTERNSHIP ON PURBASHA COMPOSITE TEX LTD
INTERNSHIP ON PURBASHA COMPOSITE TEX LTD
 
Generative AI for Social Good at Open Data Science East 2024
Generative AI for Social Good at Open Data Science East 2024Generative AI for Social Good at Open Data Science East 2024
Generative AI for Social Good at Open Data Science East 2024
 
Decoding the Heart: Student Presentation on Heart Attack Prediction with Data...
Decoding the Heart: Student Presentation on Heart Attack Prediction with Data...Decoding the Heart: Student Presentation on Heart Attack Prediction with Data...
Decoding the Heart: Student Presentation on Heart Attack Prediction with Data...
 
Predicting Salary Using Data Science: A Comprehensive Analysis.pdf
Predicting Salary Using Data Science: A Comprehensive Analysis.pdfPredicting Salary Using Data Science: A Comprehensive Analysis.pdf
Predicting Salary Using Data Science: A Comprehensive Analysis.pdf
 
Semantic Shed - Squashing and Squeezing.pptx
Semantic Shed - Squashing and Squeezing.pptxSemantic Shed - Squashing and Squeezing.pptx
Semantic Shed - Squashing and Squeezing.pptx
 
DBA Basics: Getting Started with Performance Tuning.pdf
DBA Basics: Getting Started with Performance Tuning.pdfDBA Basics: Getting Started with Performance Tuning.pdf
DBA Basics: Getting Started with Performance Tuning.pdf
 
RS 9000 Call In girls Dwarka Mor (DELHI)⇛9711147426🔝Delhi
RS 9000 Call In girls Dwarka Mor (DELHI)⇛9711147426🔝DelhiRS 9000 Call In girls Dwarka Mor (DELHI)⇛9711147426🔝Delhi
RS 9000 Call In girls Dwarka Mor (DELHI)⇛9711147426🔝Delhi
 
Conf42-LLM_Adding Generative AI to Real-Time Streaming Pipelines
Conf42-LLM_Adding Generative AI to Real-Time Streaming PipelinesConf42-LLM_Adding Generative AI to Real-Time Streaming Pipelines
Conf42-LLM_Adding Generative AI to Real-Time Streaming Pipelines
 
Deep Generative Learning for All - The Gen AI Hype (Spring 2024)
Deep Generative Learning for All - The Gen AI Hype (Spring 2024)Deep Generative Learning for All - The Gen AI Hype (Spring 2024)
Deep Generative Learning for All - The Gen AI Hype (Spring 2024)
 
办理学位证中佛罗里达大学毕业证,UCF成绩单原版一比一
办理学位证中佛罗里达大学毕业证,UCF成绩单原版一比一办理学位证中佛罗里达大学毕业证,UCF成绩单原版一比一
办理学位证中佛罗里达大学毕业证,UCF成绩单原版一比一
 
Biometric Authentication: The Evolution, Applications, Benefits and Challenge...
Biometric Authentication: The Evolution, Applications, Benefits and Challenge...Biometric Authentication: The Evolution, Applications, Benefits and Challenge...
Biometric Authentication: The Evolution, Applications, Benefits and Challenge...
 
Heart Disease Classification Report: A Data Analysis Project
Heart Disease Classification Report: A Data Analysis ProjectHeart Disease Classification Report: A Data Analysis Project
Heart Disease Classification Report: A Data Analysis Project
 
Identifying Appropriate Test Statistics Involving Population Mean
Identifying Appropriate Test Statistics Involving Population MeanIdentifying Appropriate Test Statistics Involving Population Mean
Identifying Appropriate Test Statistics Involving Population Mean
 
NO1 Certified Black Magic Specialist Expert Amil baba in Lahore Islamabad Raw...
NO1 Certified Black Magic Specialist Expert Amil baba in Lahore Islamabad Raw...NO1 Certified Black Magic Specialist Expert Amil baba in Lahore Islamabad Raw...
NO1 Certified Black Magic Specialist Expert Amil baba in Lahore Islamabad Raw...
 
Effects of Smartphone Addiction on the Academic Performances of Grades 9 to 1...
Effects of Smartphone Addiction on the Academic Performances of Grades 9 to 1...Effects of Smartphone Addiction on the Academic Performances of Grades 9 to 1...
Effects of Smartphone Addiction on the Academic Performances of Grades 9 to 1...
 
modul pembelajaran robotic Workshop _ by Slidesgo.pptx
modul pembelajaran robotic Workshop _ by Slidesgo.pptxmodul pembelajaran robotic Workshop _ by Slidesgo.pptx
modul pembelajaran robotic Workshop _ by Slidesgo.pptx
 
Easter Eggs From Star Wars and in cars 1 and 2
Easter Eggs From Star Wars and in cars 1 and 2Easter Eggs From Star Wars and in cars 1 and 2
Easter Eggs From Star Wars and in cars 1 and 2
 

sw owl

  • 1. 1© Copyright 2010 Dieter Fensel and Federico Facca Semantic Web Web Ontology Language (OWL)
  • 2. 2 Where are we? # Title 1 Introduction 2 Semantic Web Architecture 3 Resource Description Framework (RDF) 4 Web of data 5 Generating Semantic Annotations 6 Storage and Querying 7 Web Ontology Language (OWL) 8 Rule Interchange Format (RIF) 9 Reasoning on the Web 10 Ontologies 11 Social Semantic Web 12 Semantic Web Services 13 Tools 14 Applications
  • 3. 3 Agenda 1. Introduction and motivation 2. Technical solution 1. Design principles 2. Dialects 3. OWL-Lite 4. OWL-DL 5. OWL Full 6. Syntaxes 7. Tools 3. Illustration by a large example 4. Extensions 5. Summary 6. References
  • 6. 6 What we discussed so far… • RDF Schema – RDFS Vocabulary – RDFS Metadata – Literals and datatypes in RDFS • Semantics of RDF and RDF Schema – Semantic notions – RDF(S) Entailment • SPARQL – SPARQL Queries – Query answer
  • 7. 7 What we discussed so far… • RDF Schema – RDFS Vocabulary – RDFS Metadata – Literals and datatypes in RDFS • Semantics of RDF and RDF Schema – Semantic notions – RDF(S) Entailment • SPARQL – SPARQL Queries – Query answer RDF Vocabulary Classes: rdf:Property, rdf:Statement, rdf:XMLLiteral rdf:Seq, rdf:Bag, rdf:Alt, rdf:List Properties: rdf:type, rdf:subject, rdf:predicate, rdf:object, rdf:first, rdf:rest, rdf:_n rdf:value Resources: rdf:nil
  • 8. 8 What we discussed so far… • RDF Schema – RDFS Vocabulary – RDFS Metadata – Literals and datatypes in RDFS • Semantics of RDF and RDF Schema – Semantic notions – RDF(S) Entailment • SPARQL – SPARQL Queries – Query answer RDF Vocabulary Classes: rdf:Property, rdf:Statement, rdf:XMLLiteral rdf:Seq, rdf:Bag, rdf:Alt, rdf:List Properties: rdf:type, rdf:subject, rdf:predicate, rdf:object, rdf:first, rdf:rest, rdf:_n rdf:value Resources: rdf:nil RDFS Vocabulary RDFS Classes rdfs:Resource rdfs:Class rdfs:Literal rdfs:Datatype rdfs:Container rdfs:ContainerMembershipProperty RDFS Vocabulary RDFS Properties rdfs:domain rdfs:range rdfs:subPropertyOf rdfs:subClassOf rdfs:member rdfs:seeAlso rdfs:isDefinedBy rdfs:comment rdfs:label
  • 9. 9 What we discussed so far… • RDF Schema – RDFS Vocabulary – RDFS Metadata – Literals and datatypes in RDFS • Semantics of RDF and RDF Schema – Semantic notions – RDF(S) Entailment • SPARQL – SPARQL Queries – Query answer
  • 10. 10 What we discussed so far… • RDF Schema – RDFS Vocabulary – RDFS Metadata – Literals and datatypes in RDFS • Semantics of RDF and RDF Schema – Semantic notions – RDF(S) Entailment • SPARQL – SPARQL Queries – Query answer
  • 11. 11 What we discussed so far… • RDF Schema – RDFS Vocabulary – RDFS Metadata – Literals and datatypes in RDFS • Semantics of RDF and RDF Schema – Semantic notions – RDF(S) Entailment • SPARQL – SPARQL Queries – Query answer
  • 12. 12 What we discussed so far… • RDF Schema – RDFS Vocabulary – RDFS Metadata – Literals and datatypes in RDFS • Semantics of RDF and RDF Schema – Semantic notions – RDF(S) Entailment • SPARQL – SPARQL Queries – Query answer PREFIX vCard: <http://www.w3.org/2001/vcard- rdf/3.0#> SELECT ?fullName WHERE {?x vCard:FN ?fullName}
  • 13. 13 Requirements for Ontology Languages • Well-defined syntax • Convenience of expression • Formal semantics – Needed in reasoning, e.g.: • Class membership • Equivalence of classes • Consistency • Classification • Efficient reasoning support • Sufficient expressive power
  • 14. 14 Semantics Limitations of RDFS • No semantics for: – Containers – Collections – Reification • Since there are not semantic conditions for containers, RDF does not support any entailments which could arise from enumerating the elements of an rdf:Bag in a different order. _:xxx rdf:type rdf:Bag . _:xxx rdf:_1 <ex:a> . _:xxx rdf:_2 <ex:b> . does not entail _:xxx rdf:_1 <ex:b> . _:xxx rdf:_2 <ex:a> Only type of axiom defined about containers is of the type: rdf:Bag rdfs:subClassOf rdfs:Container .
  • 15. 15 Semantics Limitations of RDFS • Originally domain and range of properties rather infer information than check data <ex:prop_a> rdf:range <ex:class_a> then all instances of such property will have type a by inference <ex:c> <ex:prop_a> <ex:b> <ex:b> rfd:type <ex:class_b> <ex:prop_a> rdf:range <ex:class_a> infer <ex:b> rfd:type <ex:class_a> • Now some reasoners allow to use domain and ranges for data check! – In this case the reasoner will return an inconsistency in the data
  • 16. 16 Expressiveness Limitations of RDF(S) • Only binary relations • Characteristics of Properties – E.g. inverse, transitive, symmetric • Local range restrictions – E.g. for class Person, the property hasName has range xsd:string • Complex concept descriptions – E.g. Person is defined by Man and Woman • Cardinality restrictions – E.g. a Person may have at most 1 name • Disjointness axioms – E.g. nobody can be both a Man and a Woman
  • 17. 17 Layering Issues • Syntax – Only binary relations in RDF – Verbose syntax – No limitations on graph in RDF • Every graph is valid • Semantics – Malformed graphs – Use of vocabulary in language • e.g. <rdfs:Class, rdfs:subClassOf, ex:a> – Meta-classes • e.g. <rdfs:Class, rdfs:subClassOf, ex:a>, <rdfs:Class, rdfs:subClassOf, ex:b>, <ex:a, rdf:type, ex:b>
  • 18. 18 Layering Issues: Syntax • Triples make syntax unnatural – Restrictions have to be split up – Collections have to split up • Triples allow for deviant syntax – Restrictions with too many pieces – Collections with missing or multiple components • Triples allow additions at any time. – Can't forbid new triples attached to old syntax.
  • 19. 19 Layering Issues: Semantics • Everything is triples; all triples have meaning. • All aspects of syntax contribute to meaning. – e.g., ordering in collections – the intersection of Student and Employee is different from the intersection of Employee and Student • All syntax refers to something. – e.g., descriptions live in the domain – to infer membership in a description, the description has to exist – leads to semantic paradoxes
  • 20. 20 Layering Issues: Semantics (Example) • A Desirable Inference: • Premises: John is an instance of Student. John is an instance of Employee. Conclusion: John is an instance of the intersection of Student and Employee. • In an RDF extension, this requires that the intersection automatically exists whenever Student and Employee exists. • Many more of these examples can be devised
  • 21. 21 TECHNICAL SOLUTION The Web Ontology Language
  • 22. 22 Design Goals for OWL I • Shareable – Ontologies should be publicly available and different data sources should be able to commit to the same ontology for shared meaning. Also, ontologies should be able to extend other ontologies in order to provide additional definitions. • Changing over time – An ontology may change during its lifetime. A data source should specify the version of an ontology to which it commits. • Interoperability – Different ontologies may model the same concepts in different ways. The language should provide primitives for relating different representations, thus allowing data to be converted to different ontologies and enabling a "web of ontologies."
  • 23. 23 Design Goals for OWL II • Inconsistency detection – Different ontologies or data sources may be contradictory. It should be possible to detect these inconsistencies. • Balancing expressivity and complexity – The language should be able to express a wide variety of knowledge, but should also provide for efficient means to reason with it. Since these two requirements are typically at odds, the goal of the web ontology language is to find a balance that supports the ability to express the most important kinds of knowledge. • Ease of use – The language should provide a low learning barrier and have clear concepts and meaning. The concepts should be independent from syntax.
  • 24. 24 Design Goals for OWL III • Compatible with existing standards – The language should be compatible with other commonly used Web and industry standards. In particular, this includes XML and related standards (such as XML Schema and RDF), and possibly other modeling standards such as UML. • Internationalization – The language should support the development of multilingual ontologies, and potentially provide different views of ontologies that are appropriate for different cultures.
  • 25. 25 Requirements for OWL • Ontologies are object on the Web with their own meta-data, versioning, etc... • Ontologies are extendable From Grigoris Antoniou and Frank van Harmelen: A Semantic Web Primer, MIT Press 2004
  • 26. 26 Requirements for OWL • Ontologies are object on the Web with their own meta-data, versioning, etc... • Ontologies are extendable • They contain classes, properties, data-types, range/domain, individuals • Equality (for classes, for individuals) • Classes as instances • Cardinality constraints • XML syntax
  • 27. 27 Objectives for OWL Objectives: – Layered language – Complex datatypes – Digital signatures – Decidability (in part) – Local unique names (in part) Disregarded: – Default values – Closed world option – Property chaining – Arithmetic – String operations – Partial imports – View definitions – Procedural attachments A logical system or theory is decidable if there exists an effective method such that for every formula in the system the method is capable of deciding whether the formula is valid in the system or not. [http://www.wikipedia.org] [http://www.w3.org/TR/webont-req/]
  • 29. 29 Lite partially restricted to aid learning curve lite DL = Description Logic Description Logics are a fragment of First Order Logic (FOL) that can be reasoned with DL Full unrestricted use of OWL constructs, but cannot reason Full OWL comes in 3 Dialects
  • 30. 30 OWL Dialects • OWL Lite – Classification hierarchy – Simple constraints • OWL DL – Maximal expressiveness while maintaining tractability – Standard formalization in a DL • OWL Full – Very high expressiveness – Losing tractability – All syntactic freedom of RDF (self-modifying) ): e.g. statements about statements are possible. Meta-modeling as well.
  • 31. 31 OWL Lite • No explicit negation or union • Restricted cardinality (0/1) • No nominals (oneOf) • DL-based semantics – Reasoning via DL engines (+ datatypes) • Semantically, only small restriction on OWL DL – No nominals – No arbitrary cardinality
  • 32. 32 OWL DL • Use of vocabulary restricted – Can’t be used to do “nasty things” (e.g. modify OWL) – No classes as instances – Defined by abstract syntax • Standard DL-based model theory – Direct correspondence with a DL – Partial reasoning via DL engines – Reasoning for full language via FOL engines • No need for axiomatization • Built-in datatypes required for performance
  • 33. 33 OWL Full • No restriction on use of vocabulary (as long as legal RDF) – Classes as instances (and much more) • RDF style model theory – Reasoning using FOL engine – Semantics should correspond to OWL DL for restricted KBs
  • 34. 34 Summary Features of OWL Dialects • OWL Lite – (sub)classes, individuals – (sub)properties, domain, range – conjunction – (in)equality – cardinality 0/1 – datatypes – inverse, transitive, symmetric properties – someValuesFrom – allValuesFrom • OWL DL – Negation – Disjunction – Full cardinality – Enumerated types – hasValue • OWL Full – Meta-classes – Modify language
  • 35. 35 OWL Dialects vs Description Logics • OWL Lite corresponds to the DL SHIN(D) – Named classes (A) – Named properties (P) – Individuals (C(o)) – Property values (P(o, a)) – Intersection (C ⊓ D) – Union(!) (C ⊔ D) – Negation(!) (¬C) – Existential value restrictions (∃P.C) – Universal value restrictions (∀P.C) – Unqualified number restrictions (≥ nP, ≤ nP, = nP) • OWL DL corresponds to the DL SHOIN(D) – Property value (∃ P.{o}) – Enumeration ({o1, ..., on}) • OWL Full is not a Description Logic
  • 37. 37 OWL Syntax: Abstract Syntax • One of the clearer human-readable syntaxes Class(SpicyPizza complete annotation(rdfs:label "PizzaTemperada"@pt) annotation(rdfs:comment "Any pizza that has a spicy topping is a SpicyPizza"@en) Pizza restriction(hasTopping someValuesFrom(SpicyTopping)) )
  • 38. 38 OWL Syntax: N3 • Recommended for human-readable fragments default:SpicyPizza a owl:Class ; rdfs:comment "Any pizza that has a spicy topping is a SpicyPizza"@en ; rdfs:label "PizzaTemperada"@pt ; owl:equivalentClass [ a owl:Class ; owl:intersectionOf (default:Pizza [ a owl:Restriction ; owl:onProperty default:hasTopping ; owl:someValuesFrom default:SpicyTopping ]) ] .
  • 39. 39 OWL Syntax: RDF/XML • Recommended for serialisation <owl:Class rdf:ID="SpicyPizza"> <rdfs:label xml:lang="pt">PizzaTemperada</rdfs:label> <rdfs:comment xml:lang="en">Any pizza that has a spicy topping is a SpicyPizza</rdfs:comment> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="#Pizza"/> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:about="#hasTopping"/> </owl:onProperty> <owl:someValuesFrom rdf:resource="#SpicyTopping"/> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class>
  • 40. 40 Abstract Syntax: Declaring classes in OWL • Naming a new class “plant”: Class(pp:plant partial) • Naming some “special plants”: Class(pp:grass partial pp:plant) Class(pp:tree partial pp:plant) • Alternative Declaration: Class(pp:grass partial) Class(pp:tree partial) SubClassOf(pp:grass pp:plant) SubClassOf(pp:tree pp:plant)
  • 41. 41 Abstract Syntax: Declaring Properties in OWL • A simple property: ObjectProperty(pp:eaten_by) • Properties may be inverse to each other: ObjectProperty(pp:eats inverseOf(pp:eaten_by)) • Domain and Ranges: ObjectProperty(pp:has_pet domain(pp:person) range(pp:animal))
  • 42. 42 Abstract Syntax: Declaring Properties in OWL • Datatype Properties: DataProperty(pp:service_number range(xsd:integer)) • Property Hierarchy: SubPropertyOf(pp:has_pet pp:likes) • Algebraic properties: ObjectProperty(pp:married_to Symmetric) ObjectProperty(pp:ancestor_of Transitive) ObjectProperty(pp:passport_nr Functional)
  • 43. 43 Abstract Syntax: Individuals in OWL • Individual(pp:Tom type(owl:Person)) • Individual(pp:Dewey type(pp:duck)) • Individual(pp:Rex type(pp:dog) value(pp:is_pet_of pp:Mick)) • Individual(pp:Mick type(pp:male) value(pp:reads pp:Daily-Mirror) value(pp:drives pp:Golf-GTI) value(pp:name „Mick"ˆxsd:string))
  • 45. 45 Tool Support for OWL • Ontology editors – Protégé (http://protege.stanford.edu/) – OilED (http://oiled.man.ac.uk/) – OntoStudio (http://www.ontoprise.de/en/home/products/ontostudio/) • APIs – OWL-API (http://owlapi.sourceforge.net/) – Jena (http://jena.sourceforge.net/) • Reasoners – Hoolet (http://owl.man.ac.uk/hoolet/) – Fact++ (http://owl.man.ac.uk/factplusplus/) – KAON2 (http://kaon2.semanticweb.org/) – Pellet (http://clarkparsia.com/pellet/)
  • 46. 46 • Developed by Stanford Medical Informatics • Has a large user community (approx 30k) • Support – Graph view, consistency check, web, merging • No support – Addition of new basic types – Limited multi-user support
  • 47. 47 OilEd • Developed by Information Management Group, CS Dept., Univ. of Manchester, UK • Simple editor, not intended as a full ontology development environment • Support – Consistency check, web • No support – Graph view, extensibility
  • 48. 48 OntoStudio • Developed by Ontoprise, Germany • Support – Graph view, consistency check, web – Built-in inference engine, DBMS, collaborative working and ontology library
  • 49. 49 OWL-API • A Java interface and implementation for the W3C Web Ontology Language OWL • Open source and is available under the LGPL License • Support – OWL 2 – RDF/XML parser and writer – OWL/XML parser and writer – OWL Functional Syntax parser and writer – Integration with reasoners such as Pellet and FaCT++
  • 50. 50 Jena • A Java framework for building Semantic Web applications • Jena is open source • Initiated by Hewlett Packard (HP) Labs Semantic Web Programme. • Support: – A RDF API – Reading and writing RDF in RDF/XML, N3 and N-Triples – An OWL API – In-memory and persistent storage – SPARQL query engine
  • 51. 51 Hoolet • An implementation of an OWL-DL reasoner • Uses a first order prover. • The ontology is translated to collection of axioms (in an obvious way based on the OWL semantics) and this collection of axioms is then given to a first order prover for consistency checking.
  • 52. 52 Hoolet • An implementation of an OWL-DL reasoner • Uses a first order prover. • The ontology is translated to collection of axioms (in an obvious way based on the OWL semantics) and this collection of axioms is then given to a first order prover for consistency checking.
  • 53. 53 KAON 2 • An infrastructure for managing OWL-DL, SWRL, and F-Logic ontologies • Joint effort of: Research Center for Information Technologies, University of Karlsruhe, University of Manchester • Support – An API for programmatic management of OWL-DL, SWRL, and F-Logic ontologies, – A stand-alone server providing access to ontologies in a distributed manner using RMI, – An inference engine for answering conjunctive queries (expressed using SPARQL syntax), – A DIG interface, allowing access from tools such as Protégé, – A module for extracting ontology instances from relational databases.
  • 54. 54 Pellet • Open-source Java OWL DL reasoner • Support expressivity of SROIQ(D) • Supports SWRL rules • Available through AGPL version 3 licence
  • 55. 55 FaCT++ • New generation and C++ implementation of FaCT • Support expressivity of SROIQ(D) • No support for Rules • Available through GNU public license • Integrated in Protege 4.0
  • 56. 56 Playing with Protégé and Fact++ • Let’s load and ontology that represent family relationships – http://protege.cim3.net/file/pub/ontologies/generations/generations.owl
  • 57. 57 Playing with Protégé and Fact++ • For example the ontology directly defines the concepts of parent and father/mother but not the relation among them • What happens if we attach the Fact++ Reasoner?
  • 58. 58 Playing with Protégé and Fact++ • Father now is classified as subclass of Man and Parent • Two instances are part of this class – William type Person hasChild Peter hasSex Male – Peter type Person hasChild Matt hasSex Male
  • 59. 59 Playing with Protégé and Fact++ • Asserted Hierarchy • Inferred Hierarchy
  • 60. 60 ILLUSTRATION BY A LARGER EXAMPLE An example of usage of OWL
  • 61. 61 The Wine Ontology • An Ontology describing wine domain • One of the most widely used examples for OWL and referenced by W3C. • There is also a wine agent associated to this ontology that performs OWL queries using a web-based ontological mark-up language. That is, by combining a logical reasoner with an OWL ontology. • The agent's operation can be described in three parts: consulting the ontology, performing queries and outputting results. • Available here: http://www.w3.org/TR/owl-guide/
  • 63. 63 Wine Ontology OWL Example <owl:Class rdf:ID="CheninBlanc"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#hasColor"/> <owl:hasValue rdf:resource="#White"/> </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#hasBody"/> <owl:allValuesFrom> <owl:Class> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:about="#Full"/> <owl:Thing rdf:about="#Medium"/> </owl:oneOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </rdfs:subClassOf> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="#Wine"/> <owl:Restriction> <owl:onProperty rdf:resource="#madeFromGrape"/> <owl:hasValue rdf:resource="#CheninBlancGrape"/> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="#madeFromGrape"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality> </owl:Restriction> </owl:intersectionOf> … </owl:Class> <CheninBlanc rdf:ID="VentanaCheninBlanc"> <locatedIn rdf:resource="#CentralCoastRegion"/> <hasMaker rdf:resource="#Ventana"/> <hasSugar rdf:resource="#OffDry"/> <hasFlavor rdf:resource="#Moderate"/> <hasBody rdf:resource="#Medium"/> </CheninBlanc>
  • 65. 65 Experience with OWL • OWL playing key role in increasing number & range of applications – eScience, eCommerce, geography, engineering, defence, … – E.g., OWL tools used to identify and repair errors in a medical ontology: “would have led to missed test results if not corrected” • Experience of OWL in use has identified restrictions: – on expressivity – on scalability • These restrictions are problematic in some applications • Research has now shown how some restrictions can be overcome • W3C OWL WG has updated OWL accordingly – Result is called OWL 2 • OWL 2 is now a Proposed Recommendation
  • 66. 66 OWL 2 in a Nutshell • Extends OWL with a small but useful set of features – That are needed in applications – For which semantics and reasoning techniques are well understood – That tool builders are willing and able to support • Adds profiles – Language subsets with useful computational properties • Is fully backwards compatible with OWL: – Every OWL ontology is a valid OWL 2 ontology – Every OWL 2 ontology not using new features is a valid OWL ontology • Already supported by popular OWL tools & infrastructure: – Protégé, HermiT, Pellet, FaCT++, OWL API
  • 67. 67 Increased expressive power • Qualified cardinality restrictions – e.g., persons having two friends who are republicans • Property chains – e.g., the brother of your parent is your uncle • Local reflexivity restrictions – e.g., narcissists love themselves • Reflexive, irreflexive, and asymmetric properties – e.g., nothing can be a proper part of itself (irreflexive) • Disjoint properties – e.g., you can’t be both the parent of and child of the same person • Keys – e.g., country + license plate constitute a unique identifier for vehicles
  • 68. 68 Extended Datatypes • Much wider range of XSD Datatypes supported: • e.g., Integer, string, boolean, real, decimal, float, datatime, … • User-defined datatypes using facets, e.g.: – max weight of an airmail letter: xsd:integer maxInclusive ”20"^^xsd:integer – format of Italian registration plates: xsd:string xsd:pattern "[A-Z]{2} [0-9]{3}[A-Z]{2}
  • 69. 69 Metamodelling and annotations • Restricted form of metamodelling via “punning”, e.g.: – SnowLeopard subClassOf BigCat (i.e., a class) – SnowLeopard type EndangeredSpecies (i.e., an individual) • Annotations of axioms as well as entities, e.g.: – SnowLeopard type EndangeredSpecies (“source: WWF”) • Even annotations of annotations
  • 70. 70 Syntactic sugar • Disjoint unions – Element is the DisjointUnion of Earth Wind Fire Water – i.e., Element is equivalent to the union of Earth Wind Fire Water – Earth Wind Fire Water are pair-wise disjoint • Negative assertions • Mary is not a sister of Ian • 21 is not the age of Ian
  • 71. 71 Profiles • OWL only useful in practice if we can deal with large ontologies and/or large data sets • Unfortunately, OWL is worst case highly intractable – OWL 2 ontology satisfiability is 2NEXPTIME-complete • Possible solution is profiles: language subsets with useful computational properties • OWL defined one such profile: OWL Lite – Unfortunately, it isn’t tractable either! (EXPTIME-complete)
  • 72. 72 Profiles OWL 2 defines three different tractable profiles: • EL: polynomial time reasoning for schema and data – Useful for ontologies with large conceptual part • QL: fast (logspace) query answering using RDBMs via SQL – Useful for large datasets already stored in RDBs • RL: fast (polynomial) query answering using rule-extended DBs – Useful for large datasets stored as RDF triples
  • 73. 73 OWL 2 EL • A (near maximal) fragment of OWL 2 such that – Satisfiability checking is in PTime (PTime-Complete) – Data complexity of query answering also PTime-Complete • Based on EL family of description logics – Existential (someValuesFrom) + conjunction • Can exploit saturation based reasoning techniques – Computes classification in “one pass” – Computationally optimal – Can be extended to Horn fragment of OWL DL
  • 75. 75 Summary • Limitations of RDFS – Expressivity limitations – Problems with layering • Web Ontology Language OWL – Design of OWL – OWL Layering – OWL and Description Logics – OWL Syntaxes
  • 76. 76 References • Mandatory reading: – Semantic Web Primer • Chapters 4 – [OWL Guide] • http://www.w3.org/TR/owl-guide/ – Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7, 2003. • http://www.cs.vu.nl/%7Efrankh/abstracts/JWS03.html • Further reading: – Jos de Bruijn: Using Ontologies. Enabling Knowledge Sharing and Reuse on the Semantic Web. DERI Technical Report DERI-2003-10-29, 2003. • http://www.deri.org/publications/techpapers/documents/DERI-TR-2003-10-29.pdf – [OWL Reference] • http://www.w3.org/TR/owl-ref/ – [OWL Abstract syntax and Semantics] • http://www.w3.org/TR/owl-semantics – J. de Bruijn, A. Polleres, R. Lara, and D. Fensel: OWL DL vs. OWL Flight: Conceptual modeling and reasoning on the semantic web. In Proceedings of the 14th International World Wide Web Conference (WWW2005), Chiba, Japan, 2005. ACM.
  • 77. 77 References • Wikipedia links: – http://en.wikipedia.org/wiki/Web_Ontology_Language – http://en.wikipedia.org/wiki/OWL_2 – http://en.wikipedia.org/wiki/Description_Logic
  • 78. 78 Next Lecture # Title 1 Introduction 2 Semantic Web Architecture 3 Resource Description Framework (RDF) 4 Web of data 5 Generating Semantic Annotations 6 Storage and Querying 7 Web Ontology Language (OWL) 8 Rule Interchange Format (RIF) 9 Reasoning on the Web 10 Ontologies 11 Social Semantic Web 12 Semantic Web Services 13 Tools 14 Applications

Editor's Notes

  1. First, why RDF is not enough and we need other representation formalism? This formalism is OWL an extension of RDFS
  2. If &amp;lt;ex:prop_a&amp;gt; rdf:range &amp;lt;ex:class_a&amp;gt;, all the instances of such property will have type a by inference. I.e. also if they have a different type by definition (e.g. &amp;lt;ex:b&amp;gt; rfd:type &amp;lt;ex:class_b&amp;gt;) given the range definition the system will add to the KB also &amp;lt;ex:b&amp;gt; rfd:type &amp;lt;ex:class_a&amp;gt;. More if a property has more than one range or domain, all of them apply. E.g. if we have Also &amp;lt;ex:prop_a&amp;gt; rdf:range &amp;lt;ex:class_c&amp;gt;, then the system will infer both &amp;lt;ex:b&amp;gt; rfd:type &amp;lt;ex:class_a&amp;gt;. &amp;lt;ex:b&amp;gt; rfd:type &amp;lt;ex:class_c&amp;gt;.
  3. Meta-class: both Where
  4. The language must support the ability to treat classes as instances. This is because the same concept can often be seen as a class or an individual, depending on the perspective of the user. For example, in a biological ontology, the class Orangutan may have individual animals as its instances. However, the class Orangutan may itself be an instance of the class Species. Note, that Orangutan is not a subclass of Species, because then that would say that each instance of Orangutan (an animal) is an instance of Species
  5. Most of the choice has been disregarded because of the foundational logic chosen for the language: DL. (e.g. close world option) Others for simple decision of focusing on more priority issues.