1 intelligent information systems on the web and in the aether tim finin university of maryland...
TRANSCRIPT
11
Intelligent Intelligent Information Systems Information Systems
on the Web on the Web and in the Aetherand in the Aether
Tim FininTim FininUniversity of Maryland University of Maryland
Baltimore CountyBaltimore CountyJoint work with Scott Cost, Benjamin Grosof (MIT), Anupam Joshi, Jim Mayfield (JHU), Charles Nicholas, Yun Peng, Yelena
Yesha & many students.
MAY 2002This work was partially supported by DARPA contract
F30602-97-1-0215, NSF grants CCR007080 and IIS9875433 and grants from IBM, Fujitsu and HP.
recommend
tell
register
tell
register
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 22
OverviewOverview
The Problem: building The Problem: building intelligent information systemsintelligent information systems
The Semantic web as part of The Semantic web as part of the solutionthe solution
Some work at UMBCSome work at UMBC Comments and ConclusionsComments and Conclusions
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 33
The problemThe problem
I’ve been engaged in research aimed at I’ve been engaged in research aimed at developing intelligent information systems developing intelligent information systems for thirty years.for thirty years.
The problem is hard, progress is slow, but The problem is hard, progress is slow, but the incremental results are worth it.the incremental results are worth it.
It’s a task for many generations to come.It’s a task for many generations to come. Today’s environment is very different than Today’s environment is very different than
that in 1971.that in 1971.
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 44
They way we were…They way we were…
AN IBM 360 circa 1971AN IBM 360 circa 1971
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 55
They way we will be…They way we will be…
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 66
What’s new?What’s new? Internet.Internet. Virtually of the computers in the Virtually of the computers in the
world have been connected.world have been connected. Scale.Scale. Every day many more computing and Every day many more computing and
communication devices are joining.communication devices are joining. Power.Power. Raw computing power continues to Raw computing power continues to
climb.climb. Wireless.Wireless. New technologies (GSM, 802.11, New technologies (GSM, 802.11,
Bluetooth, UWB?, IR, etc) are creating a Bluetooth, UWB?, IR, etc) are creating a pervasive, ubiquitous computing environmentpervasive, ubiquitous computing environment
Web.Web. The web is like Dennett’s "universal The web is like Dennett’s "universal acid“, a mythical chemical that eats through acid“, a mythical chemical that eats through -- and thus transforms -- everything in its -- and thus transforms -- everything in its path.path.
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 77
IDM ChallengesIDM Challenges
The environment makes new demands and offers The environment makes new demands and offers new challenges, enough to keep all of us busy, new challenges, enough to keep all of us busy, e.g.:e.g.:
Very open environmentsVery open environments Large and diverse community of service and Large and diverse community of service and
content providerscontent providers Lots of relative autonomyLots of relative autonomy Dynamic ad hoc networksDynamic ad hoc networks Systems with widely varying resources -- Systems with widely varying resources --
bandwidth, connectivity, cpu, memory, disk, bandwidth, connectivity, cpu, memory, disk, power, software, knowledge, intelligence, etc.power, software, knowledge, intelligence, etc.
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 88
Research topicsResearch topics
Concepts which can address these challenges Concepts which can address these challenges include:include:
Multiagent systemsMultiagent systems Information and knowledge sharing through common Information and knowledge sharing through common
representation languages, ontologies and protocolsrepresentation languages, ontologies and protocols Automatic service description, discovery, Automatic service description, discovery,
compositioncomposition Negotiation for services and informationNegotiation for services and information Trust based models for authorization, credibility and Trust based models for authorization, credibility and
securitysecurity Social and norm governed behavior Social and norm governed behavior Delegation and degrees of autonomyDelegation and degrees of autonomy Coordination and teamwork modelsCoordination and teamwork models
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 99
Semantic WebSemantic Web
I’ll argue that the semantic web provides a I’ll argue that the semantic web provides a good approach, language and tools to good approach, language and tools to support the development of intelligent support the development of intelligent information systems in this environment.information systems in this environment.
This isn’t obvious, since the SW seems This isn’t obvious, since the SW seems grounded in the “traditional” wired web.grounded in the “traditional” wired web.
But, the principles which drive it are the But, the principles which drive it are the right ones for agents as well as pervasive right ones for agents as well as pervasive computing.computing.
And, by grounding agents in web And, by grounding agents in web technology, they may make it out of the lab.technology, they may make it out of the lab.
Next: overview of Semantic WebNext: overview of Semantic Web
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 1010
Origins of the Semantic WebOrigins of the Semantic Web Tim Berners-Lee’s original Tim Berners-Lee’s original
1989 WWW proposal 1989 WWW proposal described a Web of described a Web of relationships among relationships among named objects that unified named objects that unified many many info. management tasks. info. management tasks.
Guha designed MCF at Apple Guha designed MCF at Apple (~94) (~94)
XML+MCF=>RDF (~96)XML+MCF=>RDF (~96) RDF+OO=>RDFS (~99)RDF+OO=>RDFS (~99) RDFS+KR=>DAML+OIL (00)RDFS+KR=>DAML+OIL (00) W3C’s SW activity (01)W3C’s SW activity (01) W3C’s OWL (02?)W3C’s OWL (02?)
http://www.w3.org/History/1989/proposal.html
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 1111
W3C’s Semantic Web GoalsW3C’s Semantic Web Goals
Focus on machine consumption:Focus on machine consumption:
"The Semantic Web is an extension of the "The Semantic Web is an extension of the current web in which information is given well-current web in which information is given well-defined meaning, better enabling computers defined meaning, better enabling computers and people to work in cooperation."and people to work in cooperation." -- Berners- -- Berners-Lee, Hendler and Lassila, The Semantic Web, Lee, Hendler and Lassila, The Semantic Web, Scientific American, 2001Scientific American, 2001
The current Web The current Web storesstores things whereas the things whereas the semantic Web semantic Web doesdoes things. things.
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 1212
Semantic Web Semantic Web doesdoes what? what? Concept-based searchConcept-based search
keyword-based searchkeyword-based search Semantic navigationSemantic navigation
link-based navigation link-based navigation PersonalizationPersonalization
one size fits allone size fits all Query answeringQuery answering
document retrievaldocument retrieval
ServicesServices CGI calls, but service-description languages, CGI calls, but service-description languages,
negotiation, negotiation, service composition, etc service composition, etc
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 1313
Why is this hard?Why is this hard?This is what a web page looks like to a machine
after Frank van Harmelen and Jim Hendler
And understanding natural language is not as hard asunderstanding the images!
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 1414
OK, so HTML is not helpfulOK, so HTML is not helpful
CV
name
education
work
private
Could we tell the machine what the different parts of the text represent?
after Frank van Harmelen and Jim Hendler
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 1515
XML to the rescue?XML to the rescue?
CV
name
education
work
private
< >
< >
< >
< >
< >
Some XML fans claim this could be done by adding “meaningful tags” to parts of the text
after Frank van Harmelen and Jim Hendler
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 1616
XML XML machine accessible meaning machine accessible meaning
CV
name
education
work
private
< >
< >
< >
< >
< >
< >
< >
<>
<>
<>
But to your machine, the tags still look like this….
after Frank van Harmelen and Jim Hendler
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 1717
Schemas take a step in the right Schemas take a step in the right directiondirection
Schemas help….
CV
name
education
work
private
< >
< >
< >
< >
< >
< >
< >
<>
<>
<>
CV
name
education
work
private
< >
< >
< >
< >
< >
< >
< >
<>
<>
<>
< >
…by relating common termsbetween documents
after Frank van Harmelen and Jim Hendler
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 1818
But other people use other schemasBut other people use other schemas
CV
name
education
work
private
< >
< >
< >
< >
< >
< >
>
<>
<>
Someone else has one like this….after Frank van Harmelen and Jim Hendler
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 1919
The “semantics” isn’t thereThe “semantics” isn’t there
CV
name
education
work
private
< >
< >
< >
< >
< >
< >
< >
<>
<>
<>
CV
name
education
work
private
< >
< >
< >
< >
< >
< >
< >
<>
<>
<>
< >
…which don’t fit in
CV
name
education
work
private
< >
< >
< >
< >
< >
< >
< >
< >
< >
after Frank van Harmelen and Jim Hendler
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 2020
Ontologies can help …Ontologies can help …
An ontology defines the terms used to An ontology defines the terms used to describe and represent an area of describe and represent an area of knowledge. knowledge. Ontologies are used by people, databases, and applications that need to share domain information (a domain is just a specific subject area or area of knowledge, like medicine, tool manufacturing, real estate, automobile repair, financial management, etc.). Ontologies include computer-usable definitions of basic concepts in the domain and the relationships among them ...
They encode knowledge in a domain and They encode knowledge in a domain and also knowledge that spans domains. also knowledge that spans domains. In this way, they make that knowledge reusable.
Working Draft, Web Ontology Working Group.
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 2121
Ontologies can help …Ontologies can help …
Catalog/ID
GeneralLogical
constraints
Terms/glossary
Thesauri“narrower
term”relation
Formalis-a
Frames(properties)
Informalis-a
Formalinstance
Value Restriction
Disjointness, Inverse,part of…
After Deborah L. McGuinness (Stanford)After Deborah L. McGuinness (Stanford)
SimpleTaxonomies
ExpressiveOntologies
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 2222
By providing “external” referents to By providing “external” referents to merge onmerge on
CV
name
education
work
private
< >
< >
< >
< >
< >
< >
< >
<>
<>
<>
CV
name
education
work
private
< >
< >
< >
< >
< >
< >
< >
<>
<>
<>
CV
name
education
work
private
< >
< >
< >
< >
< >
< >
< >
<>
<>
<>
SW languages addmappings and structure.
CV
name
education
work
private
< >
< >
< >
< >
< >
< >
< >
< >
< >
CV
name
education
work
private
< >
< >
< >
< >
< >
< >
< >
< >
< >
CV
name
education
work
private
< >
< >
< >
< >
< >
< >
< >
< >
< >
CV
name
education
work
private
< >
< >
< >
< >
< >
< >
< >
< >
< >
CV
name
education
work
private
< >
< >
< >
< >
< >
< >
< >
< >
< >
after Frank van Harmelen and Jim Hendler
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 2323
TBL’s semantic web vision“The Semantic Web will globalize KR, just as the WWW globalize hypertext” -- Tim Berners-Lee
you arehere
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 2424
Semantic web languages todaySemantic web languages today
Today there are just two semantic web Today there are just two semantic web languageslanguages DAML – Darpa Agent Markup LanguageDAML – Darpa Agent Markup Language
http://www.daml.org/http://www.daml.org/ RDF – Resource Description FrameworkRDF – Resource Description Framework
http://www.w3.org/RDF/http://www.w3.org/RDF/ and one under development by the W3Cand one under development by the W3C
OWL – Ontology Web LanguageOWL – Ontology Web Languagehttp://www.w3.org/2001/sw/http://www.w3.org/2001/sw/
with more to come, IMHOwith more to come, IMHO
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 2525
RDF is the first SW languageRDF is the first SW language
<rdf:RDF ……..> <….> <….></rdf:RDF>
XML Encoding Graph
stmt(docInst, rdf_type, Document)stmt(personInst, rdf_type, Person)stmt(inroomInst, rdf_type, InRoom)stmt(personInst, holding, docInst)stmt(inroomInst, person, personInst)
Triples
RDFData Model
Good for Machine
Processing
Good For HumanViewing
Good For Reasoning
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 2626
Simple RDF ExampleSimple RDF Example
http://umbc.edu/~finin/talks/idm02/“Intelligent Information Systemson the Web and in the Aether”
http://umbc.edu/
dc:Title
dc:Creator
bib:Aff
“Tim Finin” “[email protected]”
bib:namebib:email
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 2727
XML encoding for RDFXML encoding for RDF<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:bib="http://daml.umbc.edu/ontologies/bib/">
<description about="http://umbc.edu/~finin/talks/idm02/"> <dc:title>Intelligent Information Systems on the Web and in the
Aether</dc:Title> <dc:creator> <description> <bib:Name>Tim Finin</bib:Name> <bib:Email>[email protected]</bib:Email> <bib:Aff resource="http://umbc.edu/" /> </description> </dc:Creator></description></rdf:RDF>
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 2828
N triple representationN triple representation
RDF expressions can also be encoded as a set of RDF expressions can also be encoded as a set of triplestriples. .
<<subjectsubject> <> <predicatepredicate> <> <objectobject> .> . <http://umbc.edu/~finin/talks/idm02/> <http://umbc.edu/~finin/talks/idm02/>
<http://purl.org/dc/elements/1.1/Title> <http://purl.org/dc/elements/1.1/Title> "Intelligent Information Systems on the Web and in the Aether" ."Intelligent Information Systems on the Web and in the Aether" ._:j10949 <http://daml.umbc.edu/ontologies/bib/Name> "Tim Finin" ._:j10949 <http://daml.umbc.edu/ontologies/bib/Name> "Tim Finin" ._:j10949 <http://daml.umbc.edu/ontologies/bib/Email> "[email protected]" ._:j10949 <http://daml.umbc.edu/ontologies/bib/Email> "[email protected]" ._:j10949 <http://daml.umbc.edu/ontologies/bib/Aff> <http://umbc.edu/> ._:j10949 <http://daml.umbc.edu/ontologies/bib/Aff> <http://umbc.edu/> ._:j10949 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> _:j10949 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<Description> .<Description> .<http://umbc.edu/~finin/talks/idm02/> <http://umbc.edu/~finin/talks/idm02/>
<http://purl.org/dc/elements/1.1/Creator> _:j10949 .<http://purl.org/dc/elements/1.1/Creator> _:j10949 .<http://umbc.edu/~finin/talks/idm02/> <http://www.w3.org/1999/02/22-<http://umbc.edu/~finin/talks/idm02/> <http://www.w3.org/1999/02/22-
rdf-syntax-ns#type> <Description> .rdf-syntax-ns#type> <Description> . Note the generated ID for the anonymous nodeNote the generated ID for the anonymous node
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 2929
Triple NotesTriple Notes RDF triples have one of two forms:RDF triples have one of two forms:
<URI> <URI> <URI><URI> <URI> <URI> <URI> <URI> <quoted string><URI> <URI> <quoted string>
Triples are also easily mapped into logicTriples are also easily mapped into logic <subject> <predicate> <object><subject> <predicate> <object> <predicate>(<subject>,<object>)<predicate>(<subject>,<object>) With type(<S>,<O>) becoming <O>(<S>)With type(<S>,<O>) becoming <O>(<S>) Example:Example:
subclass(man,person)subclass(man,person) sex(man,male)sex(man,male) domain(sex,animal)domain(sex,animal) man(adam)man(adam) age(adam,100)age(adam,100)
Triples can be easily stored and managed in a Triples can be easily stored and managed in a DBMSDBMS
; Note: we’re not ; showing the actual ; URIs for clarity
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 3030
RDF Schema (RDFS)RDF Schema (RDFS)
RDF Schema adds RDF Schema adds taxonomies for taxonomies for classesclassesand propertiesand properties subClass and subPropertysubClass and subProperty
and some metadata.and some metadata. domain and rangedomain and range
constraints on propertiesconstraints on properties Several widely usedSeveral widely used
KB tools can importKB tools can importand export in RDFSand export in RDFS Stanford Protégé KB editorStanford Protégé KB editor
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 3131
RDFS supports simple inferencesRDFS supports simple inferences An RDF ontology plus some RDF An RDF ontology plus some RDF
statements may imply additional RDF statements may imply additional RDF statements.statements.
This is not true of XML.This is not true of XML. Example:Example:
subproperty(mother,parent)subproperty(mother,parent)
domain(parent,person)domain(parent,person)
range(parent,person)range(parent,person)
mother(eve,cain)mother(eve,cain)
Implies:Implies: parent(eve,cain) person(eve) person(cain)
Implies:Implies: parent(eve,cain) person(eve) person(cain)
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 3232
RDF is being usedRDF is being used
RDF is being used in a number of W3C RDF is being used in a number of W3C specificationsspecifications CC/PP (Composite Capabilities/Preference CC/PP (Composite Capabilities/Preference
Profiles, http://www.w3.org/Mobile/CCPP/)Profiles, http://www.w3.org/Mobile/CCPP/) P3P (Platform for Privacy Preferences Project, P3P (Platform for Privacy Preferences Project,
http://www.w3.org/P3P/http://www.w3.org/P3P/)) Other web standardsOther web standards
RSS 1.0 (Rich Site Summary)RSS 1.0 (Rich Site Summary) RDF calendar (~ iCalendar in RDF)RDF calendar (~ iCalendar in RDF)
Other systemsOther systems MozillaMozilla
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 3333
RDF is not enough, but a good RDF is not enough, but a good foundationfoundation
RDF lacks expressive adequacy for many RDF lacks expressive adequacy for many taskstasks Only range/domain constraints (on properties)Only range/domain constraints (on properties) No properties of properties (transitive, inverse etc.)No properties of properties (transitive, inverse etc.) No equivalence, disjointness, coverings, etc.No equivalence, disjointness, coverings, etc. No necessary and sufficient conditionsNo necessary and sufficient conditions No rules, axioms, logical constraintsNo rules, axioms, logical constraints
DAML+OIL extends RDFDAML+OIL extends RDF Layering makes partial knowledge available to Layering makes partial knowledge available to
applications which only understand RDFapplications which only understand RDF NB: Building on RDF has some disadvantagesNB: Building on RDF has some disadvantages
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 3434
We’re going down a familiar roadWe’re going down a familiar road
KR trendsKR trends
55-65: arbitrary data 55-65: arbitrary data structuresstructures
65-75: semantic 65-75: semantic networksnetworks
75-85: simple frame 75-85: simple frame systemssystems
85-95: description logics85-95: description logics 95-??: logic95-??: logic
Web trendsWeb trends
95-97: 95-97: XML XML as as arbitrary structuresarbitrary structures
97-98: 97-98: RDFRDF 98-99: 98-99: RDFSRDFS (schema) (schema)
as a frame-like systemas a frame-like system 00-01: 00-01: DAML+OILDAML+OIL 02-??: DAML-L02-??: DAML-L
Only much faster!
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 3535
DAML+OIL as a Semantic Web DAML+OIL as a Semantic Web LanguageLanguage
DAML = Darpa Agent Markup LanguageDAML = Darpa Agent Markup Language DARPA program with 17 projects & an integrator DARPA program with 17 projects & an integrator
developing language spec, tools, applications for developing language spec, tools, applications for SW.SW.
OIL = Ontology Inference LayerOIL = Ontology Inference Layer An EU effort aimed at developing a layered An EU effort aimed at developing a layered
approach to representing knowledge on the web.approach to representing knowledge on the web.ProcessProcess
Joint Committee: US DAML and EU Semantic Web Joint Committee: US DAML and EU Semantic Web Technologies participants Technologies participants
DAML+OIL specs released 01/01 & 03/01DAML+OIL specs released 01/01 & 03/01 See http://www.daml.org/See http://www.daml.org/ W3C SW activity started 08/01.W3C SW activity started 08/01.
DAML+OIL
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 3636
A Simple DAML ExampleA Simple DAML Example
<rdfs:Class about="#Animal"/><rdfs:Class about="#Animal"/>
<rdfs:Class about="#Plant"><rdfs:Class about="#Plant">
<daml:disjointFrom<daml:disjointFrom resource="#Animal"/> resource="#Animal"/>
</rdfs:Class></rdfs:Class>
Note the mixture of rdf (Note the mixture of rdf (plant and animal are classes) plant and animal are classes) and DAMLand DAML (plant and animal are (plant and animal are disjoint)disjoint)
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 3737
DAML+OIL DAML+OIL RDF RDF
DAML+OIL ontology is a set of RDF statementsDAML+OIL ontology is a set of RDF statements DAML+OIL defines semantics for certain statementsDAML+OIL defines semantics for certain statements Does Does NOTNOT restrict what can be said restrict what can be said
Ontology can include arbitrary RDFOntology can include arbitrary RDF But no semantics for non-DAML+OIL statementsBut no semantics for non-DAML+OIL statements
Adds capabilities common to description logics:Adds capabilities common to description logics: cardinality constraints, defined classes (=> classification), cardinality constraints, defined classes (=> classification),
equivalence, local restrictions, disjoint classes, etc.equivalence, local restrictions, disjoint classes, etc.
More support for ontologiesMore support for ontologies Ontology imports ontologyOntology imports ontology
But not (yet) variables, quantification, and But not (yet) variables, quantification, and general rulesgeneral rules
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 3838
DAML in One SlideDAML in One Slide<rdf:RDF xmlns:rdf ="http://w3.org/22-rdf-syntax-ns#"<rdf:RDF xmlns:rdf ="http://w3.org/22-rdf-syntax-ns#" xmlns:rdfs="http://w3.org/rdf-schema#"xmlns:rdfs="http://w3.org/rdf-schema#" xmlns:daml="http://daml.org/daml+oil#“>xmlns:daml="http://daml.org/daml+oil#“><daml:Ontology rdf:about=""><daml:Ontology rdf:about=""> <daml:imports rdf:resource="http://daml.org/daml+oil"/><daml:imports rdf:resource="http://daml.org/daml+oil"/></daml:Ontology></daml:Ontology><rdfs:Class rdf:ID="Person"><rdfs:Class rdf:ID="Person"> <rdfs:subClassOf rdf:resource="#Animal"/><rdfs:subClassOf rdf:resource="#Animal"/> <rdfs:subClassOf><rdfs:subClassOf> <daml:Restriction><daml:Restriction> <daml:onProperty rdf:resource="#hasParent"/><daml:onProperty rdf:resource="#hasParent"/> <daml:toClass rdf:resource="#Person"/><daml:toClass rdf:resource="#Person"/> </daml:Restriction></daml:Restriction> </rdfs:subClassOf></rdfs:subClassOf> <rdfs:subClassOf><rdfs:subClassOf> <daml:Restriction daml:cardinality="1"><daml:Restriction daml:cardinality="1"> <daml:onProperty rdf:resource="#hasFather"/><daml:onProperty rdf:resource="#hasFather"/> </daml:Restriction> </rdfs:subClassOf> </rdfs:Class></daml:Restriction> </rdfs:subClassOf> </rdfs:Class><Person rdf:about=“http://umbc.edu/~finin/"><Person rdf:about=“http://umbc.edu/~finin/"><rdfs:comment>Finin is a person.</rdfs:comment><rdfs:comment>Finin is a person.</rdfs:comment></Person></Person>
DAML is built on top of XML and RDF
It can be used to add metadata about anything which has a URI.
everything has URI
DAML is ~= a frame based knowledge representation language
It allows the definition, sharing, composition and use of ontologies
URIs are a W3C standard generalizing URLs
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 3939
DAML-SDAML-S
DAML-S is an ontology for describing DAML-S is an ontology for describing properties and capabilities of web services properties and capabilities of web services
Desiderata:Desiderata: Ease of expressivenessEase of expressiveness Enables automation of service use by Enables automation of service use by
agentsagents Enables reasoning about service Enables reasoning about service
properties and capabilitiesproperties and capabilities Also appropriate for describing services in Also appropriate for describing services in
a mobile/pervasive computing a mobile/pervasive computing environmentenvironment
See http://daml.org/services/See http://daml.org/services/
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 4040
DAML-S componentsDAML-S components
Service profile (what it does)Service profile (what it does) For service registration, discovery and matching.For service registration, discovery and matching. High-level description of service and provider with a (human readable) High-level description of service and provider with a (human readable)
description of service, a specification of functionalities provided and other description of service, a specification of functionalities provided and other functional attributes.functional attributes.
Service model (how it works)Service model (how it works) For service invocation, composition, interoperation, monitoring.For service invocation, composition, interoperation, monitoring. A service has inputs, outputs, preconditions and effects. A service has inputs, outputs, preconditions and effects. Composite processes are build using sequence, if-then-else, fork, etc.Composite processes are build using sequence, if-then-else, fork, etc.
Service grounding (how to access)Service grounding (how to access) Specification of service access information (communication protocols, Specification of service access information (communication protocols,
transport mechanisms, etc.) which could be via SOAP, HTTP forms, Java transport mechanisms, etc.) which could be via SOAP, HTTP forms, Java
RMI, RPC, etc.RMI, RPC, etc.
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 4141
SW is work in progressSW is work in progress
There are important language aspects There are important language aspects which need more work: rules, queries, etc.which need more work: rules, queries, etc.
Many tools need to be createdMany tools need to be created E.g., Protégé plug-in for DAML+OILE.g., Protégé plug-in for DAML+OIL
Applications need to be exploredApplications need to be explored The W3C is developing a new SW languageThe W3C is developing a new SW language
OWL: Ontology Web LanguageOWL: Ontology Web Language ……
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 4242
W3C Web OntologyW3C Web OntologyWorking GroupWorking Group
The WOWG is working to create aThe WOWG is working to create arecommendation for the "Web Ontology recommendation for the "Web Ontology Language": OWL Language": OWL
51 Members from 30 W3C Organizations 51 Members from 30 W3C Organizations Companies:Companies: Agfa, Daimler-Chrysler, EDS, Fujitsu, Hewlett- Agfa, Daimler-Chrysler, EDS, Fujitsu, Hewlett-
Packard, IBM, Intel, IVIS, Lucent, Network Inference, Nisus, Packard, IBM, Intel, IVIS, Lucent, Network Inference, Nisus, Nokia, Philips, Stilo, Sun, Unisys Nokia, Philips, Stilo, Sun, Unisys
Public Sector:Public Sector: DISA, Electricite de France, Intelink, INTAP, DISA, Electricite de France, Intelink, INTAP, MITRE, NIST MITRE, NIST
Research projects/Labs:Research projects/Labs: DFKI, FZI, Ibrow group, Stanford, DFKI, FZI, Ibrow group, Stanford, U. Bristol, U. Maryland, U. Southhampton U. Bristol, U. Maryland, U. Southhampton
Invited Experts:Invited Experts: Medical, Digital Library, Defense, Medical, Digital Library, Defense, Technical Technical
CoChairs: Jim Hendler, University of Maryland/MIND; CoChairs: Jim Hendler, University of Maryland/MIND; Guus Schreiber, Univ of Amsterdam/IbrowGuus Schreiber, Univ of Amsterdam/Ibrow
http://www.w3.org/2001/sw/WebOnt/http://www.w3.org/2001/sw/WebOnt/
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 4343
OWL GoalsOWL Goals
The WOWG has identified the The WOWG has identified the following goals in developing OWLfollowing goals in developing OWL Shared ontologies Shared ontologies Ontology evolution Ontology evolution Ontology interoperability Ontology interoperability Inconsistency detection Inconsistency detection Balance of expressivity and scalability Balance of expressivity and scalability Ease of use Ease of use XML syntax XML syntax Internationalization Internationalization
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 4444
KR meets the WebKR meets the Web
One way to think about the semanticOne way to think about the semanticweb is that we are creating a knowledge web is that we are creating a knowledge representation language for the Web.representation language for the Web.
This is more than just selecting an This is more than just selecting an appropriate KR language and selecting appropriate KR language and selecting an XML encoding.an XML encoding.
The Web as an information system has The Web as an information system has many significant properties.many significant properties. Highly distributed Many content providers Dynamic Evolving Inconsistent …
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 4545
Semantic Web PrinciplesSemantic Web Principles Everything is on the webEverything is on the web
People, places, times, things all have URIsPeople, places, times, things all have URIs Partial information is assumedPartial information is assumed
The web privileges scalability over integrity and there’s The web privileges scalability over integrity and there’s always more and new stuff to findalways more and new stuff to find
Trust models are criticalTrust models are critical It’s not all trueIt’s not all true
Support information evolutionSupport information evolution Content and consensus is dynamicContent and consensus is dynamic
Minimalist designMinimalist design Make the simple things simple, and the complex things Make the simple things simple, and the complex things
possible. Standardize no more than is necessary.possible. Standardize no more than is necessary. Common data modelCommon data model
To support interoperability and knowledge sharingTo support interoperability and knowledge sharing
Adapted from Eric Miller, W3C
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 4646
Some UMBC applicationsSome UMBC applications
(1)(1) Semantic web and agents Semantic web and agents (ITTalks) (ITTalks)
(2)(2) Information retrieval on the SW Information retrieval on the SW
(3)(3) Service discovery and Service discovery and composition in ad hoc mobile composition in ad hoc mobile environmentsenvironments
(4)(4) Distributed trust Distributed trust
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 4747
(1)(1) ITALKS ITALKS
• ITTALKS ITTALKS is a database driven webis a database driven website of IT related talks at UMBC andsite of IT related talks at UMBC andother institutions. The database other institutions. The database contains information oncontains information on– Seminar eventsSeminar events– People (speakers, hosts, users, …)People (speakers, hosts, users, …)– Places (rooms, institutions, …)Places (rooms, institutions, …)
• Web pages with DAML markup are generatedWeb pages with DAML markup are generated• The DAML markup supports agent-based The DAML markup supports agent-based
services relating to these talks.services relating to these talks. Users get talk announcements based on the Users get talk announcements based on the
interests, locations and schedules.interests, locations and schedules.
http://ittalks.org/
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 5151
ITTALKS ArchitectureITTALKS Architecture
Web server + Java servlets
DAMLreasoning
engine
DAMLreasoning
engine
<daml></daml>
<daml></daml>
<daml></daml>
<daml></daml>
DAML files
Agents
Databases
People
RDBMSRDBMSDB
Email, HTML, SMS, WAP
FIPA ACL, KQML, DAML
SQLHTTP, KQML, DAML, Prolog
MapBlast, CiteSeer,Google, …HTTP
HTTP, WebScraping
WebServices
ApacheTomcat
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 5252
ITTALKS OntologiesITTALKS Ontologies
We’ve defined and use the following We’ve defined and use the following ontologies, all at ontologies, all at http://daml.umbc.edu/ontologies/http://daml.umbc.edu/ontologies/ calendar-ont.daml – calendar-ont.daml – calendar and schedule calendar and schedule
infoinfo classification.daml classification.daml – ACM CCS topics– ACM CCS topics person-ont.daml person-ont.daml – people and their attributes– people and their attributes place-ont.daml place-ont.daml – talk locations– talk locations profile-ont.daml – profile-ont.daml – user modeling infouser modeling info talk-ont.daml – talk-ont.daml – talks infotalks info topic-ont.daml – topic-ont.daml – topics and intereststopics and interests
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 5353
Two Advanced CapabilitiesTwo Advanced Capabilities
I’ll briefly describe two advanced I’ll briefly describe two advanced capabilities facilitated by DAML:capabilities facilitated by DAML: Classifying talk topics and user Classifying talk topics and user
interests using DAML ontologiesinterests using DAML ontologies Using DAML as a communication Using DAML as a communication
language among software agentslanguage among software agents
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 5454
What are talks about?What are talks about?
Topic hierarchies provide Topic hierarchies provide indexing termsindexing terms ACM CCS topic hierarchyACM CCS topic hierarchy Open DirectoryOpen Directory
Encoded as DAML ontologiesEncoded as DAML ontologies These allow users to specify interests as well as These allow users to specify interests as well as
browse the database of talks by topicbrowse the database of talks by topic Automatic classification of talks (based on title Automatic classification of talks (based on title
and abstract) and abstract) and users (based on his web and users (based on his web pages, CV, papers, etc.)pages, CV, papers, etc.)
Discovery of mapping rules between CCS to OD Discovery of mapping rules between CCS to OD ontologies using IR techniquesontologies using IR techniques
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 5555
Classifying TalksClassifying Talks
ACM CCS Ontology
Training corpus
CMU Bow
statisticaltext analysis
tools
CMU Bow
statisticaltext analysis
tools
ACM CCSclassifier
Now is the time for all good men to come to the aid of the country. Now is the time for
topics
e.g.: ACMCCS
e.g.:5K ACMabstracts
Topics Ontology
uses
uses
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 5656
Mapping between topic Mapping between topic ontologiesontologies
Topic ontology T1
Training corpus T1
CMU Bow
statisticaltext analysis
tools
CMU Bow
statisticaltext analysis
tools
T1T2mapper
{(t2:bar, 0.8), (t2:qux, 0.7), …}
Topic ontology T2
Training corpus T2
T1
T2
t1:foo
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 5757
Interactive ontology mapperInteractive ontology mapper
Users create maps Users create maps between ontologies between ontologies with URIs to text with URIs to text describing classes & describing classes & properties.properties.
Automates mapping Automates mapping process, taking into process, taking into account hierarchical account hierarchical relationships and relationships and user-specified user-specified landmark landmark mappings.mappings.
Text classification Text classification used to compute used to compute similarities between similarities between pairs of classes or pairs of classes or properties.properties.
A probabilistic A probabilistic approach used to approach used to combine hierarchical combine hierarchical information.information. Used in XTalks to enable mappings between
Alternative topic ontologies in DAML+OIL
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 5858
DAML and AgentsDAML and Agents
Much multi-agent systems work is grounded in Much multi-agent systems work is grounded in Agent Communication Languages (e.g., KQML, Agent Communication Languages (e.g., KQML, FIPA) and associated software infrastructure such FIPA) and associated software infrastructure such as the DARPA Gridas the DARPA Grid The paradigm has been peer-to-peer message oriented The paradigm has been peer-to-peer message oriented
communication mediated by brokers and facilitators.communication mediated by brokers and facilitators. The DAML program invites different paradigms The DAML program invites different paradigms
which will require some changes in ACLs and which will require some changes in ACLs and their associates software systems.their associates software systems. Agents “publish” beliefs, requests, and other “speech Agents “publish” beliefs, requests, and other “speech
acts” on web pages.acts” on web pages. Agents “discover” what peers have published on the Agents “discover” what peers have published on the
web.web. The software agent research community is very The software agent research community is very
interested in the semantic web and DAMLinterested in the semantic web and DAML
ask-all
advertisesubscribe
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 5959MS Outlook
XSBDAML+OIL
Reasoner
ITTALKSagent
Travelagent
Calendaragent
Useragent
BrokerAgent
AgentNameServer
user’s daml profile
mapquest
MS Outlook
ITTALKS app
Common agent infrastructure
FIPA ACL
API
Communicationprotocol
1
8
7 6
5
3
2
4
9
10
11
12
13
17
16
15
14
18
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 6060
How does DAML Help?How does DAML Help?
ontologylanguage
usermodels
interoplanguage
agentcommunication
servicedescriptionlanguage
DAML+OIL provided a uniform language which metMany needs in developing a complex application.
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 6161
XTalks Personal AgentXTalks Personal Agent
XPA is a configurable “personal agent” which XPA is a configurable “personal agent” which accepts FIPA messages from XTalks and other accepts FIPA messages from XTalks and other instances of XPAs as well as applications, e.g. MS instances of XPAs as well as applications, e.g. MS Outlook.Outlook.
JADE platformJADE platform
PersonalAgent
Infrastructure
PluginManager
UserInterface
UserModelCOM
Bridge
RuleEngine
Interface
XSB
Jess
yajxb
XtalksPlugin
MapquestPlugin
BuddyList
Plugin
ExternalPlugins
External World
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 6262
Xtalks agentsXtalks agents
XtalksSystem
Xtalks Interface
Xtalks Agent
Mapquest Agent
Personal Agent (1)
FIPA RequestResponse Protocol
FIPA RequestResponse Protocol
Periodicquerying
Scenarios1,2
Personal Agent (2)
Personal Agent (3)
Scenarios3,4
1 – Xtalks Announcement2 – User Agent Solicitation3 – Buddy List4 – Travel Planning
XtalksSystem
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 6363
Damlator translation engineDamlator translation engine
Extensible engine for DAML-encoded Extensible engine for DAML-encoded Semantic Web pages translation and cachingSemantic Web pages translation and caching Currently supported output formats:Currently supported output formats:
For humans: GIF and PNGFor humans: GIF and PNG For agents: DAML, NTriples, Prolog termsFor agents: DAML, NTriples, Prolog terms
Caching supports scalability and efficiencyCaching supports scalability and efficiency Incorporated as an Apache-moduleIncorporated as an Apache-module
Faster, application/user independent and system-wide Faster, application/user independent and system-wide availabilityavailability
Accessed via Accessed via http://host/@SeeAs@/original/path/to/file.damlhttp://host/@SeeAs@/original/path/to/file.daml
Similar to W3C RDF Similar to W3C RDF Validation ServiceValidation Service Uses Jena RDF/XML Parser, Uses Jena RDF/XML Parser,
Apache Xerces, AT&T GraphVizApache Xerces, AT&T GraphViz Available from Available from
http://www.ittalks.org/download/http://www.ittalks.org/download/
HTTPBrowser
DAML-speaking
Agent
Apache WebServer
DAMLATORModule
Local File SystemDAMLATOR
Cache
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 6464
How does DAML Help?How does DAML Help?
ontologylanguage
usermodels
interoplanguage
agentcommunication
servicedescriptionlanguage
DAML+OIL provided a uniform language which metMany needs in developing a complex application.
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 6565
(2)(2) Integrating Retrieval and Integrating Retrieval and InferenceInference
Problem:Problem: How do we do information retrieval over How do we do information retrieval over documents and queries which combine free text documents and queries which combine free text and semantic web markup?and semantic web markup? IR systems and KB systems use different modelsIR systems and KB systems use different models
One Solution: One Solution: (1)(1) index both the text and index both the text and markup and then (2) use existing IR systems to markup and then (2) use existing IR systems to find documents that match queriesfind documents that match queries
Issues: Issues: (1) How do we index markup? (2) When (1) How do we index markup? (2) When and where do we do inferencing over the markup?and where do we do inferencing over the markup?
Applications:Applications: (1) Improved recall and precision (1) Improved recall and precision for IR systems, (2) Retrieving documents for for IR systems, (2) Retrieving documents for question answering.question answering.
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 6666
Student Event ScenarioStudent Event Scenario
UMBC sends out descriptions of ~50 events a UMBC sends out descriptions of ~50 events a week to students.week to students.
Each student has a “standing query” used to Each student has a “standing query” used to route event messages.route event messages. A student only receives announcements of events A student only receives announcements of events
matching his interests and schedule.matching his interests and schedule. Use LMCO’s AeroText system to automatically Use LMCO’s AeroText system to automatically
add DAML+OIL markup to event descriptions.add DAML+OIL markup to event descriptions. Categorize text announcements into event typesCategorize text announcements into event types Identify key elements and add DAML markupIdentify key elements and add DAML markup
Use JESS to reason over the markup, drawing Use JESS to reason over the markup, drawing ontology supported inferencesontology supported inferences
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 6767
Event OntologyEvent Ontology
A simple ontology A simple ontology for University for University eventsevents
Includes classes, Includes classes, subclasses, subclasses, properties, etc.properties, etc.
Can include Can include instance data, e.g., instance data, e.g., UMBC, NEC, UMBC, NEC, Fairleigh Fairleigh Dickenson, etcDickenson, etc
... ...
... ...
Event_Name
Event_DateStart_Time
End_TimePlace
Organizer
...
Property
KEY:
PropertyAssociation
Subclass Of
Instance Of
EVENT
DATETIME
TRIP SPORTMOVIESHOW
INDIVIDUAL
ATHLETICS CHESSBASKETBALLBASEBALL
CLASS
TEAM
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 6868
IR EngineIR Engine
We’re experimenting with two IR engines: We’re experimenting with two IR engines: JHU’s Haircut and UMBC’s SIRE, using a JHU’s Haircut and UMBC’s SIRE, using a similar process for both:similar process for both: Convert DAML markup to RDF triplesConvert DAML markup to RDF triples Infer additional triples which follow from modelInfer additional triples which follow from model
(S,type,O) ^ (0,subclass,O2) => (S,type,O2)(S,type,O) ^ (0,subclass,O2) => (S,type,O2) Use domain specific rules to infer additional Use domain specific rules to infer additional
triplestriples ““for a movie, retrieve genre property from IMDB”for a movie, retrieve genre property from IMDB”
Generate 7 indexing terms from each (S,P,O) Generate 7 indexing terms from each (S,P,O) tripletriple
SPO, SP*, S*O, *PO, S**, *P*, **OSPO, SP*, S*O, *PO, S**, *P*, **O Index free text and resulting triple termsIndex free text and resulting triple terms
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 6969
Event informationin plain text
AeroText+
Java
Generate RDF Triples
JHUHAIRCUT IR Engine
QueryUser
Interface
Filter query on event property
constraints
Inference with DAMLJessKB
DAML/RDF
Markup
RDF Triples
Expanded RDF Triples + Free Text
Event C
ategories
Movie
Sport
Talk
. . .
Trip
HOWLIR FRAMEWORK
Must
OK
Must not
WEB
Results User Interface
StructuredQuery
AgentsExpand Event
Description
Final Results Inference on results
Events
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 7070
DOCUMENTDOCUMENT<DOC><DOCNO>'http://gentoo.cs.umbc.edu/howlir/announcements/charity#charity_001</DOCNO><TEXT>'UMBC Blood Drive!!Office of Student Life launches its annual Blood Drive for the Red Cross on Mon, Nov 20 in the UC Ballroom from 10am - 4pm. </TEXT><TRIPLE>triple(charity_001)( 'http://gentoo.cs.umbc.edu/howlir/announcements/charity#charity_001_place', 'http://daml.umbc.edu/ontologies/event_ont#Building', 'University Center').triple(charity_001)( 'http://gentoo.cs.umbc.edu/howlir/announcements/charity#charity_001', 'http://daml.umbc.edu/ontologies/event_ont#Organizer', 'Office of Student Life').triple(charity_001)( 'http://gentoo.cs.umbc.edu/howlir/announcements/charity#charity_001_date', 'http://daml.umbc.edu/ontologies/event_ont#Day_of_week', 'Monday'). … </TRIPLE></DOC>
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 7171
QUERYQUERY<Query><required> triple(query_001)( 'http://daml.umbc.edu/ontologies/query#query_001’, 'http://daml.umbc.edu/ontologies/event_ont#Movie_Name' 'Ocean’s Eleven').</required><allowed></allowed><disallowed>triple(query_001)('http://daml.umbc.edu/ontologies/query#query_001’, 'http://daml.umbc.edu/ontologies/event_ont#Organizer’ ‘SEB'). </disallowed></Query>
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 7272
Results?Results?
Doing experiments now to measure recall Doing experiments now to measure recall and precision over a small collection of and precision over a small collection of 1500 event announcements and 12 1500 event announcements and 12 queries.queries.
CompareCompare Only free textOnly free text Free text + base triples but no inferencingFree text + base triples but no inferencing Free text + triples + inferred triplesFree text + triples + inferred triples
We expect to see improved precision and We expect to see improved precision and recall recall
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 7373
(3)(3) Enhancing Bluetooth’s Enhancing Bluetooth’sService Discovery ProtocolService Discovery Protocol
Bluetooth’s SDP is very simpleBluetooth’s SDP is very simple Services and attributes represented by UUIDsServices and attributes represented by UUIDs
which are 128 bit numbers!which are 128 bit numbers! No registration, aggregation, multicasting, No registration, aggregation, multicasting,
event notificationevent notification Enhanced SDP uses DAML+OILEnhanced SDP uses DAML+OIL
We assume at least one resource rich device in We assume at least one resource rich device in the ad hoc network to serve as a matchmakerthe ad hoc network to serve as a matchmaker
Services and attributes described in DAML Services and attributes described in DAML using a “standard” ontologyusing a “standard” ontology
All available information from service and All available information from service and attribute descriptions used for matchingattribute descriptions used for matching
Reasons to obtain Reasons to obtain closestclosest match match
Service
AdHocNetworkService
rdfs:subClassof
OperatingSystem
ProvidedBy
ServiceCost
rdf:Property
rdf:P
rope
rty
ContactURI
ProviderName
NetworkTechnology
PrinterService
rdfs:subClassOf
PrintColorQuality
PrintFileType
PrintSpeed
PrintTechnology
PrintResolution
PrintOutputFormat
Printer
PrinterModel
Priority Value
rdf:Property
rdf:Property rdf:Property
rdfs:su
bC
lassO
f
Priority Value
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 7474
(4)(4) Delegation Based Model for Distributed Delegation Based Model for Distributed TrustTrust
We are developing a delegation based We are developing a delegation based model for distributed authorization and model for distributed authorization and trust for use in both wired and wireless trust for use in both wired and wireless scenarios.scenarios.
Trust depends on Trust depends on policies + credentials + delegation actions + policies + credentials + delegation actions +
proofs of permissions and obligations.proofs of permissions and obligations. Agents make speech acts about and Agents make speech acts about and
reason over these properties and relations reason over these properties and relations Grounded in an ontology represented in Grounded in an ontology represented in
DAMLDAML
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 7575
Other UMBC SW workOther UMBC SW work
Context aware computingContext aware computing Service composition in pervasive Service composition in pervasive
computing environmentscomputing environments Intelligent opportunistic data caching in Intelligent opportunistic data caching in
mobile computing environmentsmobile computing environments Using DAML-S in FIPA’s directory facilitatorUsing DAML-S in FIPA’s directory facilitator Ontology mappingOntology mapping Better reasoning toolsBetter reasoning tools
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 7676
ConclusionsConclusions
Some thoughts…Some thoughts… Solving the symbol grounding Solving the symbol grounding
problemproblem Rethinking agent communicationRethinking agent communication
How do we get thereHow do we get there
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 7777
The symbol grounding problemThe symbol grounding problem
An argument against human-like AI is An argument against human-like AI is that it’s impossible unless machinesthat it’s impossible unless machinesshare our perception of the world.share our perception of the world.
A solution to this “symbol groundingA solution to this “symbol groundingproblem” is to give robots with humanproblem” is to give robots with humaninspired senses.inspired senses.
But the world we experience is determined by our But the world we experience is determined by our senses, and human and machine bodies may lead senses, and human and machine bodies may lead to different conceptions of the world (e.g. Nagel’s to different conceptions of the world (e.g. Nagel’s What Is It Like To Be a Bat?What Is It Like To Be a Bat? ) )
Maybe the Semantic Web is a way out of this Maybe the Semantic Web is a way out of this problem?problem?
MIT’s Cog
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 7878
Solving the symbol grounding Solving the symbol grounding problemproblem
The web may become a common world The web may become a common world that both humans and machines can that both humans and machines can understand.understand.
Confession: the web is more familiar and Confession: the web is more familiar and real to me than much of the real world.real to me than much of the real world.
Physical objects can be tagged with low Physical objects can be tagged with low cost (e.g., $0.05) transponders or RFIDs cost (e.g., $0.05) transponders or RFIDs encoding their URIsencoding their URIs See HP’s Cooltown projectSee HP’s Cooltown project
http://cooltown.com/http://cooltown.com/
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 7979
Rethinking the agent communication Rethinking the agent communication paradigmparadigm
Much multi-agent systems work is grounded Much multi-agent systems work is grounded in Agent Communication Languages (e.g., in Agent Communication Languages (e.g., KQML, FIPA) and associated software KQML, FIPA) and associated software infrastructure.infrastructure. This paradigm was articulated ~1990, about the This paradigm was articulated ~1990, about the
same time as the WWW was developed.same time as the WWW was developed. Our MAS approach has not yet left the laboratory Our MAS approach has not yet left the laboratory
yet the Web has changed the world.yet the Web has changed the world. Maybe we should try something different?Maybe we should try something different?
The communication MAS paradigm has been peer-The communication MAS paradigm has been peer-to-peer message oriented communication to-peer message oriented communication mediated by brokers and facilitators -- an mediated by brokers and facilitators -- an approach inherited from client-server systems.approach inherited from client-server systems.
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 8080
Rethinking the agent communication Rethinking the agent communication paradigmparadigm
A possible new paradigm?A possible new paradigm? Agents “publish” beliefs, requests, and Agents “publish” beliefs, requests, and
other “speech acts” on web pages.other “speech acts” on web pages. Brokers “search” for and “index” published Brokers “search” for and “index” published
contentcontent Agents “discover” what peers have Agents “discover” what peers have
published on the web and browse for more published on the web and browse for more detailsdetails
Agents “speak for” content on web pages byAgents “speak for” content on web pages by Answering queries about themAnswering queries about them Accepting comments and assertions about themAccepting comments and assertions about them
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 8181
How do we get there from here?How do we get there from here?
This semantic web emphasizes ontologies This semantic web emphasizes ontologies – their development, use, mediation, – their development, use, mediation, evolution, etc.evolution, etc.
It will take some time to really deliver on It will take some time to really deliver on the agent paradigm, either on the Internet the agent paradigm, either on the Internet or in a pervasive computing environment.or in a pervasive computing environment.
The development of complex systems is The development of complex systems is basically an evolutionary process.basically an evolutionary process.
Random search carried out by tens of Random search carried out by tens of thousands of researchers, developers and thousands of researchers, developers and graduate students.graduate students.
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 8282
Climbing Mount ImprobableClimbing Mount Improbable
““The sheer height of the The sheer height of the peak doesn't matter, so peak doesn't matter, so long as you don't try to long as you don't try to scale it in a single scale it in a single bound. Locate the mildly bound. Locate the mildly sloping path and, if you sloping path and, if you have unlimited time, the have unlimited time, the ascent is only as ascent is only as formidable as the next formidable as the next step.”step.” -- Richard -- Richard Dawkins, Climbing Dawkins, Climbing Mount Improbable, Mount Improbable, Penguin Books, 1996.Penguin Books, 1996.
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 8383
The Evolution of Useful ThingsThe Evolution of Useful Things
The Evolution of Useful The Evolution of Useful ThingsThings, Henry Petroski, , Henry Petroski, 1994.1994.
Prior to the 1890’s, papers Prior to the 1890’s, papers were held together with were held together with straight pens.straight pens.
The development of “spring The development of “spring steel” allowed the invention steel” allowed the invention of the paper clip in 1899.of the paper clip in 1899.
It took about It took about 25 years (!)25 years (!) for for the evolution of the modern the evolution of the modern “gem paperclip”, “gem paperclip”, considered to be optimal for considered to be optimal for general use.general use.
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 8484
So, we should …So, we should …
Start with the simple and move toward the complexStart with the simple and move toward the complex E.g., from vocabularies to FOL theoriesE.g., from vocabularies to FOL theories
Allow many ontologies to bloom Allow many ontologies to bloom Let natural evolutionary processes select the Let natural evolutionary processes select the
most useful as common consensus ontologies.most useful as common consensus ontologies. Support diversity in ontologiesSupport diversity in ontologies
Monocultures are unstableMonocultures are unstable There should be no THE ONTOLOGY FOR X.There should be no THE ONTOLOGY FOR X.
The evolution of powerful, machine readable The evolution of powerful, machine readable ontologies will happen over multiple human ontologies will happen over multiple human generationsgenerations Incremental benefits will more than pay for effortIncremental benefits will more than pay for effort
UMBCUMBCan Honors University in an Honors University in
MarylandMaryland 8585
For more informationFor more information On RDFOn RDF
http://www.w3.org/RDF/http://www.w3.org/RDF/ On DAMLOn DAML
http://www.daml.org/http://www.daml.org/ On W3C’s semantic web activityOn W3C’s semantic web activity
http://www.w3.org/2001/sw/http://www.w3.org/2001/sw/ On the semantic webOn the semantic web
http://semanticweb.org/http://semanticweb.org/ On our work at UMBCOn our work at UMBC
http://research.ebiquity.org/http://research.ebiquity.org/