SlideShare a Scribd company logo
1
Web Ontology Language
OWL
Semantic web technology
Reprepared by: Abdelrahman Abbas
Sudan University
2
3
RDFS as an Ontology Language
4
Expressive limitations of RDF(S)
5
Layering issues
6
Stack of Languages
 XML
 Surface syntax, no semantics
 XML Schema
 Describes structure of XML documents
 RDF
 Datamodel for relations" between things“
 RDF Schema
 RDF Vocabulary Definition Language
 OWL
 A more expressive Vocabulary Definition Language
7
RDF Schema recap
 RDFS provides
 Classes
 Class hierarchies
 Properties
 Property hierarchies
 Domain and range restrictions
 RDFS does not provide
 Property characteristics (inverse, transitive, ...)
 Local range restrictions
 Complex concept definitions
 Cardinality restrictions
 Disjointness axioms
8
Extending RDF Schema
 OWL extends RDF Schema to a full-edged
knowledge representation language for the
Web
 Logical expressions (and, or, not)
 (in)equality
 local properties
 required/optional properties
 required values
 enumerated classes
 symmetry, inverse
9
Design Goals for OWL
 Shareable
 Changing over time
 Interoperability
 Inconsistency detection
 Balancing expressivity and complexity
 Ease of use
 Compatible with existing standards
 Internationalisation
10
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
11
Objectives for OWL
12
Language layers of OWL
 OWL Lite supports those users primarily
needing a classification hierarchy and
simple constraints.
 OWL DL supports those users who want the
maximum expressiveness while retaining
 computational completeness (all conclusions are
guaranteed to be computable) and
 decidability (all computations will finish in finite
time).
13
Language layers of OWL
 OWL Full is meant for users who want
maximum expressiveness and the syntactic
freedom of RDF with no computational
guarantees.
14
Language layers of OWL: in simple words
 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 syntactive freedom of RDF (self-modifying)
15
Features of OWL language layers
 OWL DL
 Negation
 Disjunction
 Full cardinality
 Enumerated types
 hasValue
 OWL Full
 Meta-classes
 Modify language
OWL Lite
• (sub)classes, individuals
• (sub)properties, domain,
range
• conjunction
• (in)equality
• cardinality 0/1
• data types
• inverse, transitive,
• symmetric properties
• someValuesFrom
• allValuesFrom
16
OWL Full
17
OWL DL
18
OWL Lite
19
What is SKOS?
Simple Knowledge Organization System
20
SKOS is not enough…
 SKOS it is not a complete solution
 it concentrates on the concepts only
 no characterization of properties in general
 simple from a logical perspective
 ie, few inferences are possible
Ontology is the alternative
21
Application may want more…
 Complex applications may want more
possibilities:
 characterization of properties
 identification of objects with different URI-s
 disjointness or equivalence of classes
 construct classes, not only name them
 more complex classification schemes
 can a program reason about some terms? E.g.:
 “if «Person» resources «A» and «B» have the same
«foaf:email» property, then «A» and «B» are identical”
 etc.
22
Web Ontology Language = OWL
 OWL is an extra layer, a bit like RDFS or SKOS
 own namespace, own terms
 it relies on RDF Schemas
 It is a separate recommendation
 actually… there is a 2004 version of OWL (“OWL 1”)
 and there is an update (“OWL 2”) published in 2009
23
Term equivalences
 For classes:
 owl:equivalentClass: two classes have the same
individuals
 owl:disjointWith: no individuals in common
 For properties:
 owl:equivalentProperty
 remember the a:author vs. f:auteur?
 owl:propertyDisjointWith
24
Term equivalences
 For individuals:
 owl:sameAs: two URIs refer to the same concept
(“individual”)
 owl:differentFrom: negation of owl:sameAs
25
Other example: connecting to French
owl:equivalentClass
a:Novel f:Roman
owl:equivalentProperty
a:author f:auteur
26
Typical usage of owl:sameAs
 Linking our example of Amsterdam from one
data set (DBpedia) to the other (Geonames):
<http://dbpedia.org/resource/Amsterdam>
owl:sameAs <http://sws.geonames.org/2759793>;
 This is the main mechanism of “Linking” in the
Linked Open Data project
27
Property characterization
 In OWL, one can characterize the behavior of
properties (symmetric, transitive, functional,
reflexive, inverse functional…)
 One property can be defined as the “inverse” of
another
28
What this means is…
 If the following holds in our triples:
:email rdf:type owl:InverseFunctionalProperty.
29
What this means is…
 If the following holds in our triples:
:email rdf:type owl:InverseFunctionalProperty.
<A> :email "mailto:a@b.c".
<B> :email "mailto:a@b.c".
30
What this means is…
 If the following holds in our triples:
:email rdf:type owl:InverseFunctionalProperty.
<A> :email "mailto:a@b.c".
<B> :email "mailto:a@b.c".
<A> owl:sameAs <B>.
then, processed through OWL, the following
holds, too:
31
Keys
 Inverse functional properties are important for
identification of individuals
 think of the email examples
 But… identification based on one property may
not be enough
32
Keys
 Identification is based on the identical values of
two properties
 The rule applies to persons only
“if two persons have the same emails and the same
homepages then they are identical”
33
Previous rule in OWL
:Person rdf:type owl:Class;
owl:hasKey (:email :homepage) .
34
What it means is…
If:
<A> rdf:type :Person ;
:email "mailto:a@b.c";
:homepage "http://www.ex.org".
<B> rdf:type :Person ;
:email "mailto:a@b.c";
:homepage "http://www.ex.org".
<A> owl:sameAs <B>.
then, processed through OWL, the following
holds, too:
35
Classes in OWL
 In RDFS, you can subclass existing classes…
that’s all
 In OWL, you can construct classes from
existing ones:
 enumerate its content
 through intersection, union, complement
 etc
36
Enumerate class content
 I.e., the class consists of exactly of those
individuals and nothing else
:Currency
rdf:type owl:Class;
owl:oneOf (:€ :£ :$).
37
Union of classes
 Other possibilities: owl:complementOf,
owl:intersectionOf, …
:Novel rdf:type owl:Class.
:Short_Story rdf:type owl:Class.
:Poetry rdf:type owl:Class.
:Literature rdf:type owl:Class;
owl:unionOf (:Novel :Short_Story :Poetry).
38
For example…
If:
:Novel rdf:type owl:Class.
:Short_Story rdf:type owl:Class.
:Poetry rdf:type owl:Class.
:Literature rdf:type owl:Class;
owl:unionOf (:Novel :Short_Story :Poetry).
<myWork> rdf:type :Novel .
<myWork> rdf:type :Literature .
then the following holds, too:
39
It can be a bit more complicated…
If:
:Novel rdf:type owl:Class.
:Short_Story rdf:type owl:Class.
:Poetry rdf:type owl:Class.
:Literature rdf:type owlClass;
owl:unionOf (:Novel :Short_Story :Poetry).
fr:Roman owl:equivalentClass :Novel .
<myWork> rdf:type fr:Roman .
<myWork> rdf:type :Literature .
then, through the combination of different terms, the
following still holds:
40
What we have so far…
 The OWL features listed so far are already
fairly powerful
 E.g., various databases can be linked via
owl:sameAs, functional or inverse functional
properties, etc.
 Many inferred relationship can be found using a
traditional rule engine
41
However… that may not be enough
 Very large vocabularies might require even
more complex features
 some major issues
 the way classes (i.e., “concepts”) are defined
 handling of datatypes like intervals
 OWL includes those extra features but… the
inference engines become (much) more
complex
42
Example: property value restrictions
 New classes are created by restricting the
property values on a class
 For example: how would I characterize a “listed
price”?
 it is a price that is given in one of the “allowed”
currencies (€, £, or $)
 this defines a new class
43
But: OWL is hard!
 The combination of class constructions with
various restrictions is extremely powerful
 What we have so far follows the same logic as
before
 extend the basic RDF and RDFS possibilities with
new features
 define their semantics, ie, what they “mean” in terms
of relationships
 expect to infer new relationships based on those
 However… a full inference procedure is hard
 not implementable with simple rule engines, for
example
44
OWL “species” or profiles
 OWL species comes to the fore:
 restricting which terms can be used and under what
circumstances (restrictions)
 if one abides to those restrictions, then simpler
inference engines can be used
 They reflect compromises: expressiveness vs.
implementability
45
OWL Species
OWL Full
OWL DL
OWL EL OWL RL
OWL QL
46
OWL Species
• OWL 2 EL
 Useful in applications employing ontologies that contain very
large numbers of properties and/or classes.
 Basic reasoning problems can be performed in time that is
polynomial with respect to the size of the ontology
 OWL 2 QL
 is aimed at applications that use very large volumes of instance
data, and where query answering is the most important reasoning
task
OWL 2 RL :
is aimed at applications that require scalable reasoning
without sacrificing too much expressive power
47
OWL RL
 Goal: to be implementable with rule engines
 Usage follows a similar approach to RDFS:
 merge the ontology and the instance data into an
RDF graph
 use the rule engine to add new triples (as long as it
is possible)
48
What can be done in OWL RL?
 Many features are available:
 identity of classes, instances, properties
 subproperties, subclasses, domains, ranges
 union and intersection of classes (but with some
restrictions)
 property characterizations (functional, symmetric, etc)
 property chains
 keys
 some property restrictions
 All examples so far could be inferred with OWL
RL!
49
Improved Search via Ontology (GoPubMed)
 Search results are re-ranked using ontologies
 related terms are highlighted
50
Improved Search via Ontology (Go3R)
 Same dataset, different ontology
 (ontology is on non-animal experimentation)
51
Rule Interchange Format
(RIF)
52
Why rules on the Semantic Web?
 Some conditions may be complicated in ontologies
(ie, OWL)
 eg, Horn rules: (P1 & P2 & …) → C
 In many cases applications just want 2-3 rules to
complete integration
 rules may be an alternative to (OWL based)
ontologies
53
Things you may want to express
 An example from our bookshop integration:
 “I buy a novel with over 500 pages if it costs less
than €20”
 something like (in an ad-hoc syntax):
{
?x rdf:type p:Novel;
p:page_number ?n;
p:price [
p:currency :€;
rdf:value ?z
].
?n > "500"^^xsd:integer.
?z < "20.0"^^xsd:double.
}
=>
{ <me> p:buys ?x }
54
Things you may want to express
p:Novel
?
x
?
n
:€
?
z
?z<20
?n>500
p:buys ?
x
me
55
RIF (Rule Interchange Format)
 The goals of the RIF work:
 define simple rule language(s) for the (Semantic)
Web
 define interchange formats for rule based systems
 RIF defines several “dialects” of languages
 RIF is not bound to RDF only
 eg, relationships may involve more than 2 entities
 there are dialects for production rule systems
56
RIF
57
RIF Dialects
RIF Core Dialect
RIF Basic Logic Dialect (BLD)
RIF Production Rule Dialect (PRD)
RIF Framework for Logic Dialects (FLD)
RIF Data-types and Built-Ins 1.0 (DTD)
58
Role of dialects
59
RIF Core
 The simplest RIF “dialect”
 A Core document is
 directives like import, prefix settings for URI-s, etc
 a sequence of logical implications
60
RIF Core example
Document(
Prefix(cpt http://example.com/concepts#)
Prefix(person http://example.com/people#)
Prefix(isbn http://…/isbn/)
Group
(
Forall ?Buyer ?Book ?Seller (
cpt:buy(?Buyer ?Book ?Seller):- cpt:sell(?Seller ?Book ?Buyer)
)
cpt:sell(person:John isbn:000651409X person:Mary)
)
)
This infers the following relationship:
cpt:buy(person:Mary isbn:000651409X person:John)
61
Expressivity of RIF Core
 Formally: definite Horn without function
symbols, a.k.a. “Datalog”
 eg, p(a,b,c) is fine, but p(f(a),b,c) is not
 Includes some extra features
 built-in datatypes and predicates
 “local” symbols, a bit like blank nodes
62
Expressivity of RIF Core
 There are also “safeness measures”
 eg, variable in a consequent should be in the
antecedent
 this secures a straightforward implementation
strategy (“forward chaining”)
63
RIF Syntaxes
 RIF defines
 a “presentation syntax”
 a standard XML syntax to encode and exchange the
rules
 there is a draft for expressing Core in RDF
 just like OWL is represented in RDF
64
What about RDF and RIF?
 Typical scenario:
 the “data” of the application is available in RDF
 rules on that data is described using RIF
 the two sets are “bound” (eg, RIF “imports” the data)
 a RIF processor produces new relationships
65
To make RIF/RDF work
 Some technical issues should be settled:
 RDF triples have to be representable in RIF
 various constructions (typing, datatypes, lists)
should be aligned
 the semantics of the two worlds should be
compatible
 There is a separate document that brings these
together
66
Remember the what we wanted from Rules?
{
?x rdf:type p:Novel;
p:page_number ?n;
p:price [
p:currency :€;
rdf:value ?z
].
?n > "500"^^xsd:integer.
?z < "20.0"^^xsd:double.
}
=>
{ <me> p:buys ?x }
67
The same with RIF Presentation syntax
Document (
Prefix …
Group (
Forall ?x ?n ?z (
<me>[p:buys->?x] :-
And(
?x rdf:type p:Novel
?x[p:page_number->?n p:price->_abc]
_abc[p:currency->:€ rdf:value->?z]
External( pred:numeric-greater-than(?n "500"^^xsd:integer) )
External( pred:numeric-less-than(?z "20.0"^^xsd:double) )
)
)
)
)
68
Discovering new relationships…
Forall ?x ?n ?z (
<me>[p:buys->?x] :-
And(
?x # p:Novel
?x[p:page_number->?n p:price->_abc]
_abc[p:currency->:€ rdf:value->?z]
External( pred:numeric-greater-than(?n "500"^^xsd:integer) )
External( pred:numeric-less-than(?z "20.0"^^xsd:double) )
)
)
69
Discovering new relationships…
Forall ?x ?n ?z (
<me>[p:buys->?x] :-
And(
?x # p:Novel
?x[p:page_number->?n p:price->_abc]
_abc[p:currency->:€ rdf:value->?z]
External( pred:numeric-greater-than(?n "500"^^xsd:integer) )
External( pred:numeric-less-than(?z "20.0"^^xsd:double) )
)
)
<http://…/isbn/…> a p:Novel;
p:page_number "600"^^xsd:integer ;
p:price [ rdf:value "15.0"^^xsd:double ; p:currency :€ ] .
combined with:
70
Discovering new relationships…
Forall ?x ?n ?z (
<me>[p:buys->?x] :-
And(
?x # p:Novel
?x[p:page_number->?n p:price->_abc]
_abc[p:currency->:€ rdf:value->?z]
External( pred:numeric-greater-than(?n "500"^^xsd:integer) )
External( pred:numeric-less-than(?z "20.0"^^xsd:double) )
)
)
<http://…/isbn/…> a p:Novel;
p:page_number "600"^^xsd:integer ;
p:price [ rdf:value "15.0"^^xsd:double ; p:currency :€ ] .
combined with:
<me> p:buys <http://…/isbn/…> .
yields:
71
RIF vs. OWL?
 The expressivity of the two is fairly identical
 the emphasis are a bit different
 Using rules vs. ontologies may largely depend
on
 available tools
 personal technical experience and expertise
 taste…
72
What about OWL RL?
 OWL RL stands for “Rule Language”…
 OWL RL is in the intersection of RIF Core and
OWL
 inferences in OWL RL can be expressed with RIF rules
 RIF Core engines can act as OWL RL engines
73
Inferencing and SPARQL
 Question: how do SPARQL queries and
inferences work together?
 RDFS, OWL, and RIF produce new relationships
 on what data do we query?
 Answer: in current SPARQL, that is not defined
 But, in SPARQL 1.1 it is…
74
SPARQL 1.1 and RDFS/OWL/RIF
RDF Data with extra triples
SPARQL Pattern
entailment
pattern
matching
RDF Data
RDFS/OWL/RIF data
SPARQL Pattern
Query result
SPARQL Engine with entailment
75
Available documents, resources
76
Available specifications:
Primers, Guides
 The “RDF Primer” and the “OWL Guide” give a
formal introduction to RDF(S) and OWL
 SKOS has its separate “SKOS Primer”
 GRDDL Primer and RDFa Primer have been
published
 The W3C Semantic Web Activity Wiki has links
to all the specifications
77
“Core” vocabularies
 There are also a number “core vocabularies”
 Dublin Core: about information resources, digital
libraries, with extensions for rights, permissions,
digital right management
 FOAF: about people and their organizations
 DOAP: on the descriptions of software projects
 SIOC: Semantically-Interlinked Online Communities
 vCard in RDF
 …
 One should never forget:
ontologies/vocabularies must be shared and
reused!
78
Some books
 J. Pollock: Semantic Web for Dummies, 2009
 G. Antoniu and F. van Harmelen: Semantic
Web Primer, 2nd edition in 2008
 D. Allemang and J. Hendler: Semantic Web for
the Working Ontologist, 2008
 P. Hitzler, R. Sebastian, M. Krötzsch:
Foundation of Semantic Web Technologies,
2009
 …See the separate Wiki page collecting book references
79
Lots of Tools (not an exhaustive list!)
 Categories:
 Triple Stores
 Inference engines
 Converters
 Search engines
 Middleware
 CMS
 Semantic Web browsers
 Development
environments
 Semantic Wikis
 …
 Some names:
 Jena, AllegroGraph, Mulgara,
Sesame, flickurl, …
 TopBraid Suite, Virtuoso
environment, Falcon,
Drupal 7, Redland, Pellet, …
 Disco, Oracle 11g, RacerPro,
IODT, Ontobroker, OWLIM,
Talis Platform, …
 RDF Gateway, RDFLib, Open
Anzo, DartGrid, Zitgist,
Ontotext, Protégé, …
 Thetus publisher,
SemanticWorks, SWI-Prolog,
RDFStore…
 …
80
Further information
 Planet RDF aggregates a number of SW blogs:
 http://planetrdf.com/
 Semantic Web Interest Group
 a forum developers with archived (and public)
mailing list, and a constant IRC presence on
freenode.net#swig
 anybody can sign up on the list
 http://www.w3.org/2001/sw/interest/
81
Thank you for your attention!
These slides are also available on the Web:
http://www.w3.org/2010/Talks/0622-SemTech-IH/

More Related Content

What's hot

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
 
Semantic web
Semantic webSemantic web
Semantic web
tariq1352
 
Owl web ontology language
Owl  web ontology languageOwl  web ontology language
Owl web ontology language
hassco2011
 
Introduction to RDF
Introduction to RDFIntroduction to RDF
Introduction to RDF
Dr Sukhpal Singh Gill
 
A Hands On Overview Of The Semantic Web
A Hands On Overview Of The Semantic WebA Hands On Overview Of The Semantic Web
A Hands On Overview Of The Semantic Web
Shamod Lacoul
 
Rdf
RdfRdf
Introduction to RDF
Introduction to RDFIntroduction to RDF
Introduction to RDF
Narni Rajesh
 
semantic web & natural language
semantic web & natural languagesemantic web & natural language
semantic web & natural language
Nurfadhlina Mohd Sharef
 
Semantic Web: From Representations to Applications
Semantic Web: From Representations to ApplicationsSemantic Web: From Representations to Applications
Semantic Web: From Representations to Applications
Guus Schreiber
 
General Introduction for Semantic Web and Linked Open Data
General Introduction for Semantic Web and Linked Open DataGeneral Introduction for Semantic Web and Linked Open Data
General Introduction for Semantic Web and Linked Open Data
National Institute of Informatics (NII)
 
Semantic Web in Action
Semantic Web in ActionSemantic Web in Action
Semantic Web in Action
Sebastian Ryszard Kruk
 
SHACL Overview
SHACL OverviewSHACL Overview
SHACL Overview
Irene Polikoff
 
Rdf And Rdf Schema For Ontology Specification
Rdf And Rdf Schema For Ontology SpecificationRdf And Rdf Schema For Ontology Specification
Rdf And Rdf Schema For Ontology Specificationchenjennan
 
SHACL by example
SHACL by exampleSHACL by example
SHACL by example
Jose Emilio Labra Gayo
 
sw owl
 sw owl sw owl
Ist16-04 An introduction to RDF
Ist16-04 An introduction to RDF Ist16-04 An introduction to RDF
Ist16-04 An introduction to RDF
Emanuele Della Valle
 
RDF and OWL
RDF and OWLRDF and OWL
RDF and OWL
Rachel Lovinger
 

What's hot (20)

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)
 
Semantic web
Semantic webSemantic web
Semantic web
 
Owl web ontology language
Owl  web ontology languageOwl  web ontology language
Owl web ontology language
 
Introduction to RDF
Introduction to RDFIntroduction to RDF
Introduction to RDF
 
A Hands On Overview Of The Semantic Web
A Hands On Overview Of The Semantic WebA Hands On Overview Of The Semantic Web
A Hands On Overview Of The Semantic Web
 
Rdf
RdfRdf
Rdf
 
Introduction to RDF
Introduction to RDFIntroduction to RDF
Introduction to RDF
 
semantic web & natural language
semantic web & natural languagesemantic web & natural language
semantic web & natural language
 
Semantic Web: From Representations to Applications
Semantic Web: From Representations to ApplicationsSemantic Web: From Representations to Applications
Semantic Web: From Representations to Applications
 
Ontologies in RDF-S/OWL
Ontologies in RDF-S/OWLOntologies in RDF-S/OWL
Ontologies in RDF-S/OWL
 
General Introduction for Semantic Web and Linked Open Data
General Introduction for Semantic Web and Linked Open DataGeneral Introduction for Semantic Web and Linked Open Data
General Introduction for Semantic Web and Linked Open Data
 
Semantic Web in Action
Semantic Web in ActionSemantic Web in Action
Semantic Web in Action
 
SHACL Overview
SHACL OverviewSHACL Overview
SHACL Overview
 
5 rdfs
5 rdfs5 rdfs
5 rdfs
 
Rdf And Rdf Schema For Ontology Specification
Rdf And Rdf Schema For Ontology SpecificationRdf And Rdf Schema For Ontology Specification
Rdf And Rdf Schema For Ontology Specification
 
SHACL by example
SHACL by exampleSHACL by example
SHACL by example
 
Data in RDF
Data in RDFData in RDF
Data in RDF
 
sw owl
 sw owl sw owl
sw owl
 
Ist16-04 An introduction to RDF
Ist16-04 An introduction to RDF Ist16-04 An introduction to RDF
Ist16-04 An introduction to RDF
 
RDF and OWL
RDF and OWLRDF and OWL
RDF and OWL
 

Viewers also liked

The burrowing owl ppt
The burrowing owl pptThe burrowing owl ppt
The burrowing owl ppt
arilyn m
 
Ontology model and owl
Ontology model and owlOntology model and owl
Ontology model and owl
Stanley Wang
 
Ontology Learning
Ontology LearningOntology Learning
Ontology Learning
Ícaro Medeiros
 
Semantic web for ontology chapter4 bynk
Semantic web for ontology chapter4 bynkSemantic web for ontology chapter4 bynk
Semantic web for ontology chapter4 bynk
Namgee Lee
 
All About Burrowing Owls by Carsten
All About Burrowing Owls by CarstenAll About Burrowing Owls by Carsten
All About Burrowing Owls by Carsten
vscottdmp
 

Viewers also liked (6)

The burrowing owl ppt
The burrowing owl pptThe burrowing owl ppt
The burrowing owl ppt
 
Owls Pp 1
Owls Pp 1Owls Pp 1
Owls Pp 1
 
Ontology model and owl
Ontology model and owlOntology model and owl
Ontology model and owl
 
Ontology Learning
Ontology LearningOntology Learning
Ontology Learning
 
Semantic web for ontology chapter4 bynk
Semantic web for ontology chapter4 bynkSemantic web for ontology chapter4 bynk
Semantic web for ontology chapter4 bynk
 
All About Burrowing Owls by Carsten
All About Burrowing Owls by CarstenAll About Burrowing Owls by Carsten
All About Burrowing Owls by Carsten
 

Similar to Semantic web Technology

OWL briefing
OWL briefingOWL briefing
OWL briefing
Frank van Harmelen
 
Ontologies and Vocabularies
Ontologies and VocabulariesOntologies and Vocabularies
Ontologies and Vocabularies
seanb
 
CS6010 Social Network Analysis Unit II
CS6010 Social Network Analysis   Unit IICS6010 Social Network Analysis   Unit II
CS6010 Social Network Analysis Unit II
pkaviya
 
Semantic Web languages: Expressivity vs scalability
Semantic Web languages: Expressivity vs scalabilitySemantic Web languages: Expressivity vs scalability
Semantic Web languages: Expressivity vs scalability
nvitucci
 
Semantic Modelling using Semantic Web Technology
Semantic Modelling using Semantic Web TechnologySemantic Modelling using Semantic Web Technology
Semantic Modelling using Semantic Web Technology
Rinke Hoekstra
 
Vu Semantic Web Meeting 20091123
Vu Semantic Web Meeting 20091123Vu Semantic Web Meeting 20091123
Vu Semantic Web Meeting 20091123Rinke Hoekstra
 
Ontology Engineering
Ontology EngineeringOntology Engineering
Ontology Engineering
Alessandro Adamou
 
The Legal Rdf Ontology A Generic Model For Legal Documents
The Legal Rdf Ontology A Generic Model For Legal DocumentsThe Legal Rdf Ontology A Generic Model For Legal Documents
The Legal Rdf Ontology A Generic Model For Legal Documentslegalwebsite
 
KIT Graduiertenkolloquium 11.05.2016
KIT Graduiertenkolloquium 11.05.2016KIT Graduiertenkolloquium 11.05.2016
KIT Graduiertenkolloquium 11.05.2016
Dr.-Ing. Thomas Hartmann
 
RDF briefing
RDF briefingRDF briefing
RDF briefing
Frank van Harmelen
 
NE7012- SOCIAL NETWORK ANALYSIS
NE7012- SOCIAL NETWORK ANALYSISNE7012- SOCIAL NETWORK ANALYSIS
NE7012- SOCIAL NETWORK ANALYSIS
rathnaarul
 
SNSW CO3.pptx
SNSW CO3.pptxSNSW CO3.pptx
SNSW CO3.pptx
harishdhanukonda48
 
eswc2011phd-schneid
eswc2011phd-schneideswc2011phd-schneid
eswc2011phd-schneid
Michael Schneider
 
RDF Semantics
RDF SemanticsRDF Semantics
RDF Semantics
Jie Bao
 
Making the semantic web work
Making the semantic web workMaking the semantic web work
Making the semantic web work
Paul Houle
 
UMBEL: Subject Concepts Layer for the Web
UMBEL: Subject Concepts Layer for the WebUMBEL: Subject Concepts Layer for the Web
UMBEL: Subject Concepts Layer for the Web
Mike Bergman
 
Ontology Engineering: representation in OWL
Ontology Engineering: representation in OWLOntology Engineering: representation in OWL
Ontology Engineering: representation in OWLGuus Schreiber
 

Similar to Semantic web Technology (20)

OWL briefing
OWL briefingOWL briefing
OWL briefing
 
Ontologies and Vocabularies
Ontologies and VocabulariesOntologies and Vocabularies
Ontologies and Vocabularies
 
CS6010 Social Network Analysis Unit II
CS6010 Social Network Analysis   Unit IICS6010 Social Network Analysis   Unit II
CS6010 Social Network Analysis Unit II
 
Semantic Web languages: Expressivity vs scalability
Semantic Web languages: Expressivity vs scalabilitySemantic Web languages: Expressivity vs scalability
Semantic Web languages: Expressivity vs scalability
 
SWT Lecture Session 5 - RDFS
SWT Lecture Session 5 - RDFSSWT Lecture Session 5 - RDFS
SWT Lecture Session 5 - RDFS
 
Semantic Modelling using Semantic Web Technology
Semantic Modelling using Semantic Web TechnologySemantic Modelling using Semantic Web Technology
Semantic Modelling using Semantic Web Technology
 
Vu Semantic Web Meeting 20091123
Vu Semantic Web Meeting 20091123Vu Semantic Web Meeting 20091123
Vu Semantic Web Meeting 20091123
 
Ontology Engineering
Ontology EngineeringOntology Engineering
Ontology Engineering
 
The Legal Rdf Ontology A Generic Model For Legal Documents
The Legal Rdf Ontology A Generic Model For Legal DocumentsThe Legal Rdf Ontology A Generic Model For Legal Documents
The Legal Rdf Ontology A Generic Model For Legal Documents
 
KIT Graduiertenkolloquium 11.05.2016
KIT Graduiertenkolloquium 11.05.2016KIT Graduiertenkolloquium 11.05.2016
KIT Graduiertenkolloquium 11.05.2016
 
RDF briefing
RDF briefingRDF briefing
RDF briefing
 
NE7012- SOCIAL NETWORK ANALYSIS
NE7012- SOCIAL NETWORK ANALYSISNE7012- SOCIAL NETWORK ANALYSIS
NE7012- SOCIAL NETWORK ANALYSIS
 
SNSW CO3.pptx
SNSW CO3.pptxSNSW CO3.pptx
SNSW CO3.pptx
 
eswc2011phd-schneid
eswc2011phd-schneideswc2011phd-schneid
eswc2011phd-schneid
 
eureka09
eureka09eureka09
eureka09
 
eureka09
eureka09eureka09
eureka09
 
RDF Semantics
RDF SemanticsRDF Semantics
RDF Semantics
 
Making the semantic web work
Making the semantic web workMaking the semantic web work
Making the semantic web work
 
UMBEL: Subject Concepts Layer for the Web
UMBEL: Subject Concepts Layer for the WebUMBEL: Subject Concepts Layer for the Web
UMBEL: Subject Concepts Layer for the Web
 
Ontology Engineering: representation in OWL
Ontology Engineering: representation in OWLOntology Engineering: representation in OWL
Ontology Engineering: representation in OWL
 

Recently uploaded

一比一原版(CSU毕业证)加利福尼亚州立大学毕业证成绩单专业办理
一比一原版(CSU毕业证)加利福尼亚州立大学毕业证成绩单专业办理一比一原版(CSU毕业证)加利福尼亚州立大学毕业证成绩单专业办理
一比一原版(CSU毕业证)加利福尼亚州立大学毕业证成绩单专业办理
ufdana
 
APNIC Foundation, presented by Ellisha Heppner at the PNG DNS Forum 2024
APNIC Foundation, presented by Ellisha Heppner at the PNG DNS Forum 2024APNIC Foundation, presented by Ellisha Heppner at the PNG DNS Forum 2024
APNIC Foundation, presented by Ellisha Heppner at the PNG DNS Forum 2024
APNIC
 
This 7-second Brain Wave Ritual Attracts Money To You.!
This 7-second Brain Wave Ritual Attracts Money To You.!This 7-second Brain Wave Ritual Attracts Money To You.!
This 7-second Brain Wave Ritual Attracts Money To You.!
nirahealhty
 
1比1复刻(bath毕业证书)英国巴斯大学毕业证学位证原版一模一样
1比1复刻(bath毕业证书)英国巴斯大学毕业证学位证原版一模一样1比1复刻(bath毕业证书)英国巴斯大学毕业证学位证原版一模一样
1比1复刻(bath毕业证书)英国巴斯大学毕业证学位证原版一模一样
3ipehhoa
 
The+Prospects+of+E-Commerce+in+China.pptx
The+Prospects+of+E-Commerce+in+China.pptxThe+Prospects+of+E-Commerce+in+China.pptx
The+Prospects+of+E-Commerce+in+China.pptx
laozhuseo02
 
原版仿制(uob毕业证书)英国伯明翰大学毕业证本科学历证书原版一模一样
原版仿制(uob毕业证书)英国伯明翰大学毕业证本科学历证书原版一模一样原版仿制(uob毕业证书)英国伯明翰大学毕业证本科学历证书原版一模一样
原版仿制(uob毕业证书)英国伯明翰大学毕业证本科学历证书原版一模一样
3ipehhoa
 
急速办(bedfordhire毕业证书)英国贝德福特大学毕业证成绩单原版一模一样
急速办(bedfordhire毕业证书)英国贝德福特大学毕业证成绩单原版一模一样急速办(bedfordhire毕业证书)英国贝德福特大学毕业证成绩单原版一模一样
急速办(bedfordhire毕业证书)英国贝德福特大学毕业证成绩单原版一模一样
3ipehhoa
 
History+of+E-commerce+Development+in+China-www.cfye-commerce.shop
History+of+E-commerce+Development+in+China-www.cfye-commerce.shopHistory+of+E-commerce+Development+in+China-www.cfye-commerce.shop
History+of+E-commerce+Development+in+China-www.cfye-commerce.shop
laozhuseo02
 
JAVIER LASA-EXPERIENCIA digital 1986-2024.pdf
JAVIER LASA-EXPERIENCIA digital 1986-2024.pdfJAVIER LASA-EXPERIENCIA digital 1986-2024.pdf
JAVIER LASA-EXPERIENCIA digital 1986-2024.pdf
Javier Lasa
 
Bridging the Digital Gap Brad Spiegel Macon, GA Initiative.pptx
Bridging the Digital Gap Brad Spiegel Macon, GA Initiative.pptxBridging the Digital Gap Brad Spiegel Macon, GA Initiative.pptx
Bridging the Digital Gap Brad Spiegel Macon, GA Initiative.pptx
Brad Spiegel Macon GA
 
test test test test testtest test testtest test testtest test testtest test ...
test test  test test testtest test testtest test testtest test testtest test ...test test  test test testtest test testtest test testtest test testtest test ...
test test test test testtest test testtest test testtest test testtest test ...
Arif0071
 
一比一原版(LBS毕业证)伦敦商学院毕业证成绩单专业办理
一比一原版(LBS毕业证)伦敦商学院毕业证成绩单专业办理一比一原版(LBS毕业证)伦敦商学院毕业证成绩单专业办理
一比一原版(LBS毕业证)伦敦商学院毕业证成绩单专业办理
eutxy
 
guildmasters guide to ravnica Dungeons & Dragons 5...
guildmasters guide to ravnica Dungeons & Dragons 5...guildmasters guide to ravnica Dungeons & Dragons 5...
guildmasters guide to ravnica Dungeons & Dragons 5...
Rogerio Filho
 
Comptia N+ Standard Networking lesson guide
Comptia N+ Standard Networking lesson guideComptia N+ Standard Networking lesson guide
Comptia N+ Standard Networking lesson guide
GTProductions1
 
Multi-cluster Kubernetes Networking- Patterns, Projects and Guidelines
Multi-cluster Kubernetes Networking- Patterns, Projects and GuidelinesMulti-cluster Kubernetes Networking- Patterns, Projects and Guidelines
Multi-cluster Kubernetes Networking- Patterns, Projects and Guidelines
Sanjeev Rampal
 
How to Use Contact Form 7 Like a Pro.pptx
How to Use Contact Form 7 Like a Pro.pptxHow to Use Contact Form 7 Like a Pro.pptx
How to Use Contact Form 7 Like a Pro.pptx
Gal Baras
 
一比一原版(SLU毕业证)圣路易斯大学毕业证成绩单专业办理
一比一原版(SLU毕业证)圣路易斯大学毕业证成绩单专业办理一比一原版(SLU毕业证)圣路易斯大学毕业证成绩单专业办理
一比一原版(SLU毕业证)圣路易斯大学毕业证成绩单专业办理
keoku
 
Internet-Security-Safeguarding-Your-Digital-World (1).pptx
Internet-Security-Safeguarding-Your-Digital-World (1).pptxInternet-Security-Safeguarding-Your-Digital-World (1).pptx
Internet-Security-Safeguarding-Your-Digital-World (1).pptx
VivekSinghShekhawat2
 
1.Wireless Communication System_Wireless communication is a broad term that i...
1.Wireless Communication System_Wireless communication is a broad term that i...1.Wireless Communication System_Wireless communication is a broad term that i...
1.Wireless Communication System_Wireless communication is a broad term that i...
JeyaPerumal1
 
Latest trends in computer networking.pptx
Latest trends in computer networking.pptxLatest trends in computer networking.pptx
Latest trends in computer networking.pptx
JungkooksNonexistent
 

Recently uploaded (20)

一比一原版(CSU毕业证)加利福尼亚州立大学毕业证成绩单专业办理
一比一原版(CSU毕业证)加利福尼亚州立大学毕业证成绩单专业办理一比一原版(CSU毕业证)加利福尼亚州立大学毕业证成绩单专业办理
一比一原版(CSU毕业证)加利福尼亚州立大学毕业证成绩单专业办理
 
APNIC Foundation, presented by Ellisha Heppner at the PNG DNS Forum 2024
APNIC Foundation, presented by Ellisha Heppner at the PNG DNS Forum 2024APNIC Foundation, presented by Ellisha Heppner at the PNG DNS Forum 2024
APNIC Foundation, presented by Ellisha Heppner at the PNG DNS Forum 2024
 
This 7-second Brain Wave Ritual Attracts Money To You.!
This 7-second Brain Wave Ritual Attracts Money To You.!This 7-second Brain Wave Ritual Attracts Money To You.!
This 7-second Brain Wave Ritual Attracts Money To You.!
 
1比1复刻(bath毕业证书)英国巴斯大学毕业证学位证原版一模一样
1比1复刻(bath毕业证书)英国巴斯大学毕业证学位证原版一模一样1比1复刻(bath毕业证书)英国巴斯大学毕业证学位证原版一模一样
1比1复刻(bath毕业证书)英国巴斯大学毕业证学位证原版一模一样
 
The+Prospects+of+E-Commerce+in+China.pptx
The+Prospects+of+E-Commerce+in+China.pptxThe+Prospects+of+E-Commerce+in+China.pptx
The+Prospects+of+E-Commerce+in+China.pptx
 
原版仿制(uob毕业证书)英国伯明翰大学毕业证本科学历证书原版一模一样
原版仿制(uob毕业证书)英国伯明翰大学毕业证本科学历证书原版一模一样原版仿制(uob毕业证书)英国伯明翰大学毕业证本科学历证书原版一模一样
原版仿制(uob毕业证书)英国伯明翰大学毕业证本科学历证书原版一模一样
 
急速办(bedfordhire毕业证书)英国贝德福特大学毕业证成绩单原版一模一样
急速办(bedfordhire毕业证书)英国贝德福特大学毕业证成绩单原版一模一样急速办(bedfordhire毕业证书)英国贝德福特大学毕业证成绩单原版一模一样
急速办(bedfordhire毕业证书)英国贝德福特大学毕业证成绩单原版一模一样
 
History+of+E-commerce+Development+in+China-www.cfye-commerce.shop
History+of+E-commerce+Development+in+China-www.cfye-commerce.shopHistory+of+E-commerce+Development+in+China-www.cfye-commerce.shop
History+of+E-commerce+Development+in+China-www.cfye-commerce.shop
 
JAVIER LASA-EXPERIENCIA digital 1986-2024.pdf
JAVIER LASA-EXPERIENCIA digital 1986-2024.pdfJAVIER LASA-EXPERIENCIA digital 1986-2024.pdf
JAVIER LASA-EXPERIENCIA digital 1986-2024.pdf
 
Bridging the Digital Gap Brad Spiegel Macon, GA Initiative.pptx
Bridging the Digital Gap Brad Spiegel Macon, GA Initiative.pptxBridging the Digital Gap Brad Spiegel Macon, GA Initiative.pptx
Bridging the Digital Gap Brad Spiegel Macon, GA Initiative.pptx
 
test test test test testtest test testtest test testtest test testtest test ...
test test  test test testtest test testtest test testtest test testtest test ...test test  test test testtest test testtest test testtest test testtest test ...
test test test test testtest test testtest test testtest test testtest test ...
 
一比一原版(LBS毕业证)伦敦商学院毕业证成绩单专业办理
一比一原版(LBS毕业证)伦敦商学院毕业证成绩单专业办理一比一原版(LBS毕业证)伦敦商学院毕业证成绩单专业办理
一比一原版(LBS毕业证)伦敦商学院毕业证成绩单专业办理
 
guildmasters guide to ravnica Dungeons & Dragons 5...
guildmasters guide to ravnica Dungeons & Dragons 5...guildmasters guide to ravnica Dungeons & Dragons 5...
guildmasters guide to ravnica Dungeons & Dragons 5...
 
Comptia N+ Standard Networking lesson guide
Comptia N+ Standard Networking lesson guideComptia N+ Standard Networking lesson guide
Comptia N+ Standard Networking lesson guide
 
Multi-cluster Kubernetes Networking- Patterns, Projects and Guidelines
Multi-cluster Kubernetes Networking- Patterns, Projects and GuidelinesMulti-cluster Kubernetes Networking- Patterns, Projects and Guidelines
Multi-cluster Kubernetes Networking- Patterns, Projects and Guidelines
 
How to Use Contact Form 7 Like a Pro.pptx
How to Use Contact Form 7 Like a Pro.pptxHow to Use Contact Form 7 Like a Pro.pptx
How to Use Contact Form 7 Like a Pro.pptx
 
一比一原版(SLU毕业证)圣路易斯大学毕业证成绩单专业办理
一比一原版(SLU毕业证)圣路易斯大学毕业证成绩单专业办理一比一原版(SLU毕业证)圣路易斯大学毕业证成绩单专业办理
一比一原版(SLU毕业证)圣路易斯大学毕业证成绩单专业办理
 
Internet-Security-Safeguarding-Your-Digital-World (1).pptx
Internet-Security-Safeguarding-Your-Digital-World (1).pptxInternet-Security-Safeguarding-Your-Digital-World (1).pptx
Internet-Security-Safeguarding-Your-Digital-World (1).pptx
 
1.Wireless Communication System_Wireless communication is a broad term that i...
1.Wireless Communication System_Wireless communication is a broad term that i...1.Wireless Communication System_Wireless communication is a broad term that i...
1.Wireless Communication System_Wireless communication is a broad term that i...
 
Latest trends in computer networking.pptx
Latest trends in computer networking.pptxLatest trends in computer networking.pptx
Latest trends in computer networking.pptx
 

Semantic web Technology

  • 1. 1 Web Ontology Language OWL Semantic web technology Reprepared by: Abdelrahman Abbas Sudan University
  • 2. 2
  • 3. 3 RDFS as an Ontology Language
  • 6. 6 Stack of Languages  XML  Surface syntax, no semantics  XML Schema  Describes structure of XML documents  RDF  Datamodel for relations" between things“  RDF Schema  RDF Vocabulary Definition Language  OWL  A more expressive Vocabulary Definition Language
  • 7. 7 RDF Schema recap  RDFS provides  Classes  Class hierarchies  Properties  Property hierarchies  Domain and range restrictions  RDFS does not provide  Property characteristics (inverse, transitive, ...)  Local range restrictions  Complex concept definitions  Cardinality restrictions  Disjointness axioms
  • 8. 8 Extending RDF Schema  OWL extends RDF Schema to a full-edged knowledge representation language for the Web  Logical expressions (and, or, not)  (in)equality  local properties  required/optional properties  required values  enumerated classes  symmetry, inverse
  • 9. 9 Design Goals for OWL  Shareable  Changing over time  Interoperability  Inconsistency detection  Balancing expressivity and complexity  Ease of use  Compatible with existing standards  Internationalisation
  • 10. 10 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
  • 12. 12 Language layers of OWL  OWL Lite supports those users primarily needing a classification hierarchy and simple constraints.  OWL DL supports those users who want the maximum expressiveness while retaining  computational completeness (all conclusions are guaranteed to be computable) and  decidability (all computations will finish in finite time).
  • 13. 13 Language layers of OWL  OWL Full is meant for users who want maximum expressiveness and the syntactic freedom of RDF with no computational guarantees.
  • 14. 14 Language layers of OWL: in simple words  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 syntactive freedom of RDF (self-modifying)
  • 15. 15 Features of OWL language layers  OWL DL  Negation  Disjunction  Full cardinality  Enumerated types  hasValue  OWL Full  Meta-classes  Modify language OWL Lite • (sub)classes, individuals • (sub)properties, domain, range • conjunction • (in)equality • cardinality 0/1 • data types • inverse, transitive, • symmetric properties • someValuesFrom • allValuesFrom
  • 19. 19 What is SKOS? Simple Knowledge Organization System
  • 20. 20 SKOS is not enough…  SKOS it is not a complete solution  it concentrates on the concepts only  no characterization of properties in general  simple from a logical perspective  ie, few inferences are possible Ontology is the alternative
  • 21. 21 Application may want more…  Complex applications may want more possibilities:  characterization of properties  identification of objects with different URI-s  disjointness or equivalence of classes  construct classes, not only name them  more complex classification schemes  can a program reason about some terms? E.g.:  “if «Person» resources «A» and «B» have the same «foaf:email» property, then «A» and «B» are identical”  etc.
  • 22. 22 Web Ontology Language = OWL  OWL is an extra layer, a bit like RDFS or SKOS  own namespace, own terms  it relies on RDF Schemas  It is a separate recommendation  actually… there is a 2004 version of OWL (“OWL 1”)  and there is an update (“OWL 2”) published in 2009
  • 23. 23 Term equivalences  For classes:  owl:equivalentClass: two classes have the same individuals  owl:disjointWith: no individuals in common  For properties:  owl:equivalentProperty  remember the a:author vs. f:auteur?  owl:propertyDisjointWith
  • 24. 24 Term equivalences  For individuals:  owl:sameAs: two URIs refer to the same concept (“individual”)  owl:differentFrom: negation of owl:sameAs
  • 25. 25 Other example: connecting to French owl:equivalentClass a:Novel f:Roman owl:equivalentProperty a:author f:auteur
  • 26. 26 Typical usage of owl:sameAs  Linking our example of Amsterdam from one data set (DBpedia) to the other (Geonames): <http://dbpedia.org/resource/Amsterdam> owl:sameAs <http://sws.geonames.org/2759793>;  This is the main mechanism of “Linking” in the Linked Open Data project
  • 27. 27 Property characterization  In OWL, one can characterize the behavior of properties (symmetric, transitive, functional, reflexive, inverse functional…)  One property can be defined as the “inverse” of another
  • 28. 28 What this means is…  If the following holds in our triples: :email rdf:type owl:InverseFunctionalProperty.
  • 29. 29 What this means is…  If the following holds in our triples: :email rdf:type owl:InverseFunctionalProperty. <A> :email "mailto:a@b.c". <B> :email "mailto:a@b.c".
  • 30. 30 What this means is…  If the following holds in our triples: :email rdf:type owl:InverseFunctionalProperty. <A> :email "mailto:a@b.c". <B> :email "mailto:a@b.c". <A> owl:sameAs <B>. then, processed through OWL, the following holds, too:
  • 31. 31 Keys  Inverse functional properties are important for identification of individuals  think of the email examples  But… identification based on one property may not be enough
  • 32. 32 Keys  Identification is based on the identical values of two properties  The rule applies to persons only “if two persons have the same emails and the same homepages then they are identical”
  • 33. 33 Previous rule in OWL :Person rdf:type owl:Class; owl:hasKey (:email :homepage) .
  • 34. 34 What it means is… If: <A> rdf:type :Person ; :email "mailto:a@b.c"; :homepage "http://www.ex.org". <B> rdf:type :Person ; :email "mailto:a@b.c"; :homepage "http://www.ex.org". <A> owl:sameAs <B>. then, processed through OWL, the following holds, too:
  • 35. 35 Classes in OWL  In RDFS, you can subclass existing classes… that’s all  In OWL, you can construct classes from existing ones:  enumerate its content  through intersection, union, complement  etc
  • 36. 36 Enumerate class content  I.e., the class consists of exactly of those individuals and nothing else :Currency rdf:type owl:Class; owl:oneOf (:€ :£ :$).
  • 37. 37 Union of classes  Other possibilities: owl:complementOf, owl:intersectionOf, … :Novel rdf:type owl:Class. :Short_Story rdf:type owl:Class. :Poetry rdf:type owl:Class. :Literature rdf:type owl:Class; owl:unionOf (:Novel :Short_Story :Poetry).
  • 38. 38 For example… If: :Novel rdf:type owl:Class. :Short_Story rdf:type owl:Class. :Poetry rdf:type owl:Class. :Literature rdf:type owl:Class; owl:unionOf (:Novel :Short_Story :Poetry). <myWork> rdf:type :Novel . <myWork> rdf:type :Literature . then the following holds, too:
  • 39. 39 It can be a bit more complicated… If: :Novel rdf:type owl:Class. :Short_Story rdf:type owl:Class. :Poetry rdf:type owl:Class. :Literature rdf:type owlClass; owl:unionOf (:Novel :Short_Story :Poetry). fr:Roman owl:equivalentClass :Novel . <myWork> rdf:type fr:Roman . <myWork> rdf:type :Literature . then, through the combination of different terms, the following still holds:
  • 40. 40 What we have so far…  The OWL features listed so far are already fairly powerful  E.g., various databases can be linked via owl:sameAs, functional or inverse functional properties, etc.  Many inferred relationship can be found using a traditional rule engine
  • 41. 41 However… that may not be enough  Very large vocabularies might require even more complex features  some major issues  the way classes (i.e., “concepts”) are defined  handling of datatypes like intervals  OWL includes those extra features but… the inference engines become (much) more complex
  • 42. 42 Example: property value restrictions  New classes are created by restricting the property values on a class  For example: how would I characterize a “listed price”?  it is a price that is given in one of the “allowed” currencies (€, £, or $)  this defines a new class
  • 43. 43 But: OWL is hard!  The combination of class constructions with various restrictions is extremely powerful  What we have so far follows the same logic as before  extend the basic RDF and RDFS possibilities with new features  define their semantics, ie, what they “mean” in terms of relationships  expect to infer new relationships based on those  However… a full inference procedure is hard  not implementable with simple rule engines, for example
  • 44. 44 OWL “species” or profiles  OWL species comes to the fore:  restricting which terms can be used and under what circumstances (restrictions)  if one abides to those restrictions, then simpler inference engines can be used  They reflect compromises: expressiveness vs. implementability
  • 45. 45 OWL Species OWL Full OWL DL OWL EL OWL RL OWL QL
  • 46. 46 OWL Species • OWL 2 EL  Useful in applications employing ontologies that contain very large numbers of properties and/or classes.  Basic reasoning problems can be performed in time that is polynomial with respect to the size of the ontology  OWL 2 QL  is aimed at applications that use very large volumes of instance data, and where query answering is the most important reasoning task OWL 2 RL : is aimed at applications that require scalable reasoning without sacrificing too much expressive power
  • 47. 47 OWL RL  Goal: to be implementable with rule engines  Usage follows a similar approach to RDFS:  merge the ontology and the instance data into an RDF graph  use the rule engine to add new triples (as long as it is possible)
  • 48. 48 What can be done in OWL RL?  Many features are available:  identity of classes, instances, properties  subproperties, subclasses, domains, ranges  union and intersection of classes (but with some restrictions)  property characterizations (functional, symmetric, etc)  property chains  keys  some property restrictions  All examples so far could be inferred with OWL RL!
  • 49. 49 Improved Search via Ontology (GoPubMed)  Search results are re-ranked using ontologies  related terms are highlighted
  • 50. 50 Improved Search via Ontology (Go3R)  Same dataset, different ontology  (ontology is on non-animal experimentation)
  • 52. 52 Why rules on the Semantic Web?  Some conditions may be complicated in ontologies (ie, OWL)  eg, Horn rules: (P1 & P2 & …) → C  In many cases applications just want 2-3 rules to complete integration  rules may be an alternative to (OWL based) ontologies
  • 53. 53 Things you may want to express  An example from our bookshop integration:  “I buy a novel with over 500 pages if it costs less than €20”  something like (in an ad-hoc syntax): { ?x rdf:type p:Novel; p:page_number ?n; p:price [ p:currency :€; rdf:value ?z ]. ?n > "500"^^xsd:integer. ?z < "20.0"^^xsd:double. } => { <me> p:buys ?x }
  • 54. 54 Things you may want to express p:Novel ? x ? n :€ ? z ?z<20 ?n>500 p:buys ? x me
  • 55. 55 RIF (Rule Interchange Format)  The goals of the RIF work:  define simple rule language(s) for the (Semantic) Web  define interchange formats for rule based systems  RIF defines several “dialects” of languages  RIF is not bound to RDF only  eg, relationships may involve more than 2 entities  there are dialects for production rule systems
  • 57. 57 RIF Dialects RIF Core Dialect RIF Basic Logic Dialect (BLD) RIF Production Rule Dialect (PRD) RIF Framework for Logic Dialects (FLD) RIF Data-types and Built-Ins 1.0 (DTD)
  • 59. 59 RIF Core  The simplest RIF “dialect”  A Core document is  directives like import, prefix settings for URI-s, etc  a sequence of logical implications
  • 60. 60 RIF Core example Document( Prefix(cpt http://example.com/concepts#) Prefix(person http://example.com/people#) Prefix(isbn http://…/isbn/) Group ( Forall ?Buyer ?Book ?Seller ( cpt:buy(?Buyer ?Book ?Seller):- cpt:sell(?Seller ?Book ?Buyer) ) cpt:sell(person:John isbn:000651409X person:Mary) ) ) This infers the following relationship: cpt:buy(person:Mary isbn:000651409X person:John)
  • 61. 61 Expressivity of RIF Core  Formally: definite Horn without function symbols, a.k.a. “Datalog”  eg, p(a,b,c) is fine, but p(f(a),b,c) is not  Includes some extra features  built-in datatypes and predicates  “local” symbols, a bit like blank nodes
  • 62. 62 Expressivity of RIF Core  There are also “safeness measures”  eg, variable in a consequent should be in the antecedent  this secures a straightforward implementation strategy (“forward chaining”)
  • 63. 63 RIF Syntaxes  RIF defines  a “presentation syntax”  a standard XML syntax to encode and exchange the rules  there is a draft for expressing Core in RDF  just like OWL is represented in RDF
  • 64. 64 What about RDF and RIF?  Typical scenario:  the “data” of the application is available in RDF  rules on that data is described using RIF  the two sets are “bound” (eg, RIF “imports” the data)  a RIF processor produces new relationships
  • 65. 65 To make RIF/RDF work  Some technical issues should be settled:  RDF triples have to be representable in RIF  various constructions (typing, datatypes, lists) should be aligned  the semantics of the two worlds should be compatible  There is a separate document that brings these together
  • 66. 66 Remember the what we wanted from Rules? { ?x rdf:type p:Novel; p:page_number ?n; p:price [ p:currency :€; rdf:value ?z ]. ?n > "500"^^xsd:integer. ?z < "20.0"^^xsd:double. } => { <me> p:buys ?x }
  • 67. 67 The same with RIF Presentation syntax Document ( Prefix … Group ( Forall ?x ?n ?z ( <me>[p:buys->?x] :- And( ?x rdf:type p:Novel ?x[p:page_number->?n p:price->_abc] _abc[p:currency->:€ rdf:value->?z] External( pred:numeric-greater-than(?n "500"^^xsd:integer) ) External( pred:numeric-less-than(?z "20.0"^^xsd:double) ) ) ) ) )
  • 68. 68 Discovering new relationships… Forall ?x ?n ?z ( <me>[p:buys->?x] :- And( ?x # p:Novel ?x[p:page_number->?n p:price->_abc] _abc[p:currency->:€ rdf:value->?z] External( pred:numeric-greater-than(?n "500"^^xsd:integer) ) External( pred:numeric-less-than(?z "20.0"^^xsd:double) ) ) )
  • 69. 69 Discovering new relationships… Forall ?x ?n ?z ( <me>[p:buys->?x] :- And( ?x # p:Novel ?x[p:page_number->?n p:price->_abc] _abc[p:currency->:€ rdf:value->?z] External( pred:numeric-greater-than(?n "500"^^xsd:integer) ) External( pred:numeric-less-than(?z "20.0"^^xsd:double) ) ) ) <http://…/isbn/…> a p:Novel; p:page_number "600"^^xsd:integer ; p:price [ rdf:value "15.0"^^xsd:double ; p:currency :€ ] . combined with:
  • 70. 70 Discovering new relationships… Forall ?x ?n ?z ( <me>[p:buys->?x] :- And( ?x # p:Novel ?x[p:page_number->?n p:price->_abc] _abc[p:currency->:€ rdf:value->?z] External( pred:numeric-greater-than(?n "500"^^xsd:integer) ) External( pred:numeric-less-than(?z "20.0"^^xsd:double) ) ) ) <http://…/isbn/…> a p:Novel; p:page_number "600"^^xsd:integer ; p:price [ rdf:value "15.0"^^xsd:double ; p:currency :€ ] . combined with: <me> p:buys <http://…/isbn/…> . yields:
  • 71. 71 RIF vs. OWL?  The expressivity of the two is fairly identical  the emphasis are a bit different  Using rules vs. ontologies may largely depend on  available tools  personal technical experience and expertise  taste…
  • 72. 72 What about OWL RL?  OWL RL stands for “Rule Language”…  OWL RL is in the intersection of RIF Core and OWL  inferences in OWL RL can be expressed with RIF rules  RIF Core engines can act as OWL RL engines
  • 73. 73 Inferencing and SPARQL  Question: how do SPARQL queries and inferences work together?  RDFS, OWL, and RIF produce new relationships  on what data do we query?  Answer: in current SPARQL, that is not defined  But, in SPARQL 1.1 it is…
  • 74. 74 SPARQL 1.1 and RDFS/OWL/RIF RDF Data with extra triples SPARQL Pattern entailment pattern matching RDF Data RDFS/OWL/RIF data SPARQL Pattern Query result SPARQL Engine with entailment
  • 76. 76 Available specifications: Primers, Guides  The “RDF Primer” and the “OWL Guide” give a formal introduction to RDF(S) and OWL  SKOS has its separate “SKOS Primer”  GRDDL Primer and RDFa Primer have been published  The W3C Semantic Web Activity Wiki has links to all the specifications
  • 77. 77 “Core” vocabularies  There are also a number “core vocabularies”  Dublin Core: about information resources, digital libraries, with extensions for rights, permissions, digital right management  FOAF: about people and their organizations  DOAP: on the descriptions of software projects  SIOC: Semantically-Interlinked Online Communities  vCard in RDF  …  One should never forget: ontologies/vocabularies must be shared and reused!
  • 78. 78 Some books  J. Pollock: Semantic Web for Dummies, 2009  G. Antoniu and F. van Harmelen: Semantic Web Primer, 2nd edition in 2008  D. Allemang and J. Hendler: Semantic Web for the Working Ontologist, 2008  P. Hitzler, R. Sebastian, M. Krötzsch: Foundation of Semantic Web Technologies, 2009  …See the separate Wiki page collecting book references
  • 79. 79 Lots of Tools (not an exhaustive list!)  Categories:  Triple Stores  Inference engines  Converters  Search engines  Middleware  CMS  Semantic Web browsers  Development environments  Semantic Wikis  …  Some names:  Jena, AllegroGraph, Mulgara, Sesame, flickurl, …  TopBraid Suite, Virtuoso environment, Falcon, Drupal 7, Redland, Pellet, …  Disco, Oracle 11g, RacerPro, IODT, Ontobroker, OWLIM, Talis Platform, …  RDF Gateway, RDFLib, Open Anzo, DartGrid, Zitgist, Ontotext, Protégé, …  Thetus publisher, SemanticWorks, SWI-Prolog, RDFStore…  …
  • 80. 80 Further information  Planet RDF aggregates a number of SW blogs:  http://planetrdf.com/  Semantic Web Interest Group  a forum developers with archived (and public) mailing list, and a constant IRC presence on freenode.net#swig  anybody can sign up on the list  http://www.w3.org/2001/sw/interest/
  • 81. 81 Thank you for your attention! These slides are also available on the Web: http://www.w3.org/2010/Talks/0622-SemTech-IH/