i. The Web Ontology Language, OWL ii. Future Direction Prof. James Hendler

advertisement
i. The Web Ontology Language, OWL
ii. Future Direction
Prof. James Hendler
University of Maryland
Hendler@cs.umd.edu
http://www.cs.umd.edu/~hendler
ASIST Nov, 02
1
You are here
You
Are
Here
Semantic Web LayerCake (Berners-Lee, 99;Swartz-Hendler, 2001)
ASIST Nov, 02
2
What the Web was meant to be
"This is a pity, as in fact documents on the web describe real objects and imaginary
concepts, and give particular relationships between them... For example, a document
might describe a person. The title document to a house describes a house and also the
ownership relation with a person. ... This means that machines, as well as people
operating on the web of information, can do real things. For example, a program could
search for a house and negotiate transfer of ownership of the house to a new owner.
The land registry guarantees that the title actually represents reality.”
 Tim Berners-Lee plenary presentation at WWW Geneva, 1994
ASIST Nov, 02

3
ASIST Nov, 02
4
Event:title
<daml:ObjectProperty rdf:ID="photograph">
<rdfs:domain rdf:resource="#Picture"/>
<rdfs:range rdf:resource= …#person"/>
</daml:ObjectProperty>
Event:WebPage
< > rdf:type photo:Photograph,
Photo:File http://…/images#image1,
Photo:topic :event1#event:speaker.
Event1 a Event:event;
date “May 7-11”,
speaker http://…#timbl.html
Title “WWW 2002…”
TimBL rdf:type w3c-ont:person;
name “Tim Berners-Lee”
…
ASIST Nov, 02
<s:Class
rdf:about="http://www.semanticweb.org/o
ntologies/swrc-onto-2000-0910.daml#Conference">
<s:comment>
describes a generic conceptabout events
</s:comment>
<s:subClassOf
rdf:resource="http://www.semanticweb.or
g/ontologies/swrc-onto-2000-0910.daml#Event"/>
<a:disjointFrom
rdf:resource="http://www.semanticweb.or
g/ontologies/swrc-onto-2000-0910.daml#Workshop"/>
<a:restrictedBy
rdf:resource="http://www.semanticweb.or
g/ontologies/swrc-onto-2000-0910.daml#genid18"/>
<rdf:Description rdf:about="http://www.w3.org/2001/03/earl/0.95#Person">
<rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
<rdfs:subClassOf rdf:resource="http://www.w3.org/2001/03/earl/0.95#Assertor"/>
</rdf:Description>
5
Semantic Web provides “external” models to merge on
nme
CV
CV
work
vate
educ
CV
ed
uc
<name
< name >>
<<educ
education> >
<> >
< work
SW languages add mappings
And structure.
<<
private>>
<< CV
CV >
A Usable “Modeling” language
 In science, models provide interoperability across jargons
 Mathematical models: equations of a system
 Physical models: “sticks and balls” of the atom
 Virtual models: the visualization of a complex data set
 INFORMATION MODELS: taxonomies and thesauris
 Ontologies extend thesaurus information models to provide
 Semantic restrictions on property relations
 Must have vs. May have vs. Doesn’t have
 Has some vs. has N vs. has 1
 Some vs. All property restrictions

Formal underpinnings
 Logical entailments
 Note: rules, logics, proofs are parts of ontologies, but not yet
at a “consensus” level for standardization

ASIST Nov, 02
Should build as add-ons to OWL to take advantage of “terminology
features”
7
W3C Web Ontology Working Group
 Web Ontology Working Group in the W3C Semantic Web Activity aimed at
“extending the semantic reach of current XML and RDF meta-data efforts. “
 History





DAML+OIL is submitted as a joint committee effort published as a W3C note .
W3C WG Announcement in November 2001 - http://lists.w3.org/Archives/Public/wwwrdf-logic/2001Nov/0000.html
Weekly teleconferences started in November 2001
First Face to Face Meeting - New Jersey (Lucent), Jan ‘02; 2nd - Amsterdam April (W3C);
3rd - CA (Fujitsu/Stanford host) July; 4th in Bristol UK (HP Host) Oct.
First version Working Drafts now complete
 Requirements/Use cases
 3 Technical Documents - July 2002 (Language renamed OWL)
 3 “using it” Documents - November 2002
ASIST Nov, 02
8
Membership
 Current Working Group includes 55 members from over 30 organizations.

Chairs
 J. Hendler, MIND Lab UMCP
 G. Schreiber, Univ. of Amsterdam

Industry including:
 Large companies - Daimler Chrysler, IBM, HP, Intel, EDS, Fujitsu, Lucent, Motorola, Nokia,
Philips Electronics, Sun, Unisys
 Newer/smaller companies - IVIS Group, Network Inference, Stilo Technology, Unicorn
Solutions

Government and Not-For-Profits:
 US Defense Information Systems Agency, Interoperability Technology Association for
Information Processing, Japan (INTAP) , Electricite De France, Mitre, NIST

Universities and Research Centers:
 University of Bristol, University of Maryland, University of Southamptom, Stanford
University
 DFKI (German Research Center for Artificial Intelligence), Forschungszentrum Informatik,
Ontoweb

Invited Experts
 Well-known academics from non-W3C members (Hayes, Heflin, Stein, Borden)
ASIST Nov, 02
9
Use Cases for Ontologies
 Abstracted six categories of Use case from approx 25 real-world
applications/prototypes

Web Portals
 Categorization rules enhance search

Multimedia Collections
 Content-based searches for non-text media

Corporate Web Site Management
 Taxonomical Organization of documents
 Mapping Between Corporate Sectors (mergers!)

Design Documentation
 Explication of "derived" assemblies (e.g. wing spar)
 Explicit Management of Constraints

Intelligent Agents
 User Preferences/User Interests
 Content Mapping

Ubiquitous Computing
 Web Service Discovery and Composition
 Rights Management and Access Control
 Context-dependent content reformating
ASIST Nov, 02
10
OWL extends RDF…
Other
Professors
Other
titles
Mind:
Other
URIs
Jobs:
Jobs: Professor
Mind:title
DOC1
Hendler
Jobs:placeOfWork
Other
descriptions
ASIST Nov, 02
Web Page
http://www…
Other
Pages
rdfs:Class rdf:ID="Meeting">
<rdfs:subClassOf>
<daml:Restriction>
<daml:onProperty rdf:resource="#MeetingName"/>
<daml:toClass
rdf:resource="http://www.w3.org/2000/10/XMLSchema#string"
/>
<daml:cardinality>1</daml:cardinality>
</daml:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<daml:Restriction>
<daml:onProperty rdf:resource="#uri"/>
<daml:toClass
rdf:resource="http://www.w3.org/2000/10/XMLSchema#uriRefer
ence"/>
<daml:maxCardinality>1</daml:maxCardinality>
</daml:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<daml:Restriction>
<daml:onProperty rdf:resource="#location"/>
<daml:toClass
rdf:resource="http://www.w3.org/2000/10/XMLSchema#string"/>
11
OWL extends RDF…
 RDF-schema


Class, subclass
Property, subproperty
 + Restrictions




Range, domain
Local, global
Existential
Cardinality
 + Combinators



Union, Intersection
Complement
Symmetric, transitive
 + Mapping


ASIST Nov, 02
Equivalence
Inverse
rdfs:Class rdf:ID="Meeting">
<rdfs:subClassOf>
<daml:Restriction>
<daml:onProperty rdf:resource="#MeetingName"/>
<daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#string"/>
<daml:cardinality>1</daml:cardinality>
</daml:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<daml:Restriction>
<daml:onProperty rdf:resource="#uri"/>
<daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#uriReference"/>
<daml:maxCardinality>1</daml:maxCardinality>
</daml:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<daml:Restriction>
<daml:onProperty rdf:resource="#location"/>
<daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#string"/>
<daml:cardinality>1</daml:cardinality>
</daml:Restriction>
<rdfs:subClassOf>
<daml:Restriction>
<daml:onProperty rdf:resource="#Issues" />
<daml:toClass rdf:resource="#Issue" />
<daml:minCardinality>0</daml:minCardinality>
</daml:Restriction>
</rdfs:subClassOf>
</rdfs:Class>
12
WOWG Documents
 Following Documents available
 Requirements for a Web Ontology Language (WD)
 Owl 1.0 Feature Description (WD)
 Owl 1.0 Reference Document (WD)
 Owl 1.0 Abstract Syntax Document (WD) (Not LC document)
 Owl 1.0 Semantics (Model Theory) (WD)
 Owl 1.0 Guide and Walkthru (WD)
 Owl 1.0 Test Suite (WD)
 Coming soon
 Non-normative appendices
 XML schema for OWL documents
 UML presentation syntax for OWL
ASIST Nov, 02
13
OWL is starting to move
 Based on DAML+OIL - the most used ontology language
ever!!

http://www.daml.org (6M statements on over 20,000 web pages)
 Gaining acceptance by web players
 Semantic Web Track was offered at WWW 2002 again at WWW 2003
 Strong attendance at WWW2002 Developer Day on SW
 Significant (international) Govt Support
 US DARPA/NSF; EU IST Framework 5,6
 Japan, Germany, Australia considering significant investments
 US National Cancer Institute to publish cancer vocabulary in DAML+OIL
 Much New Startup activity (even in this economic climate)
 Many tools being developed
 Starting to see tools for users, not just developers (but a long way to go)
ASIST Nov, 02
14
The Semantic Web “Revolution”
Scientific American Article notes
[Joint start ing place:]
I.
Semantic Web Vision (TBL)
II. Wha t are the enab lers? (in s equence )
Screen Scraping (Ora and TB L)
Data on Web (Ora and TBL)
Zip code li nk be tween Data Bases (TBL)
Ontology Independ ence (JAH)
Effect of Scale (TBL)
“Then, a miracle occurs”
III. What can you do wit h it? (not nec essaril y in s equence )
Self -describing documents (JAH)
Logi c to encode… (TBL)
Services and Adve rtisi ng (Ora)
Devices (Ora)
Digit al Signa tures, Auth entication, and Trust (TBL)
ASIST Nov, 02
15
Making Markup Easier
ASIST Nov, 02
16
Common Metaphor across tools
ASIST Nov, 02
17
Use that markup in query/portal interfaces
ASIST Nov, 02
18
Moving to the futureof the web
Semantic Web LayerCake (Berners-Lee, 99;Swartz-Hendler, 2001)
ASIST Nov, 02
19
“Know” how to process what’s on the web
ASIST Nov, 02
20
Off the desktop
ASIST Nov, 02
21
Or perhaps on different desktops…
ASIST Nov, 02
22
Web “travel agents”
How many cows are there in Texas?
Query processed: 73 answers found

Google document search finds 235,312 possible page hits.

Http://www…/CowTexas.html claims the answer is 289,921,836

A database entitled “Texas Cattle Association” can be queried for the
answer, but you will need “authorization as a state employee.”

A computer program that can compute that number is offered by the State of
Texas Cattleman’s Cooperative, click here to run program.
...
The “sex network” can answer anything that troubles you, click here for
relief...



ASIST Nov, 02
The “UFO network” claims the “all cows in Texas have been replaced by
aliens
23
Use Semantics for Composition
Translate my symptoms from
French and find me a pharmacy
that has the necessary medicine
(then compute how to get there
and print the directions)
ASIST Nov, 02
Print the directions to a pharmacy
which has a medicine that cures
the symptoms that I will tell you
(in French)
24
For goal-based service composition
ASIST Nov, 02
Buy the French version of a book from amazon.fr and
have it sent to Mom’s address
25
Services need Web Logics
ASIST Nov, 02
26
Distributed trust relationships
ASIST Nov, 02
27
Distributed Trust
ASIST Nov, 02
28
Conclusion
 It is no longer a question of whether the semantic web will
come into being, it is already here!
 We’re already well past the starting gate



Web ontologies, term languages, “shims” to DB and services, research in
proofs/rules/trust
Standardization providing a common denominator for KR researchers as
well as web developers
Small companies starting to form, Big companies starting to move
 The current environment is open, encouraging, moving fast,
and really exciting


Read our documents
Use our tools
 We want to hear from you!
ASIST Nov, 02
29
Download