the semantic web: implications for future intelligent systems
DESCRIPTION
The Semantic Web: Implications for Future Intelligent Systems. Lee McCluskey, Artform Research Group, Department of Computing And Mathematical Sciences, University of Huddersfield. Meta-Talk. Outline: Web / Semantic Web XML,RDF,Oil,DAML… Ontologies Intelligent Systems IS and the SW - PowerPoint PPT PresentationTRANSCRIPT
The Semantic Web: Implications for Future Intelligent Systems
Lee McCluskey,
Artform Research Group,
Department of Computing And Mathematical Sciences,
University of Huddersfield
Artform Research Group
Meta-Talk
Outline: Web / Semantic Web
XML,RDF,Oil,DAML… Ontologies Intelligent Systems IS and the SW
Related Areas: Distributed AI (DAI), Ontologies, Mark-up Languages, Standards, Knowledge Management, e-Commerce (B2B,B2C), OODBS, ...
Caveat: I usually give seminars on subjects which I am familiar as a researcher and builder of the technology - NB with this one I am only a potential user!
Artform Research Group
Take-home Slide The Semantic Web is the Vision (not a current reality) of
having an internet with resources that are machine understandable or accessible to automated processes - machines should do much more than present the information visually or do human-consumable IR.
Already very high level languages are being designed for this purpose (with XML as “machine code”)
The first International SW conference took place in 2002 (ICSW’02, Sardinia)
Processes on the SW will need to do AI Planning and AI Planning can exploit the SW to do Knowledge Acquisition.
BUT still a long long way to go before realisation
Artform Research Group
WWW
- is successful largely through the use of layers of internationally accepted standards (TCP/IP,html)
- ‘first generation’ - hand written html pages
- ‘second generation’ - dynamic web - pages created by programs to display the results of a process, or the output of a query of an accessed database.
--so web pages used as an interface to networked processes (services) as well as for general information display.
Artform Research Group
WWW +
Now: much R&D has been directed at writing programs/services that utilise HTML web info
EG my favourite - ISI’s travel assistant - a web service that uses other web services (weather, timetables, hotel) to make travel plans in response to a high level directive “I need to be in X on days Y using budget Z”
BUT: this is very hard because of poor web structures.. Eg ISI’s travel assistant has to use a learning program to induce web page ‘wrappers’
Artform Research Group
Metadata and XML
Not surprisingly, to start to give ‘meaning’ to info on the web we must use META-DATA eg using tags around data to describe its content.
In XML - eXtensible Mark-up Language - tags are not fixed - one can invent new tags to structure the information in a web page.
XML is considered to be the basis for all semantic web languages - the “machine code” of the new generation web
Artform Research Group
RDF - the Resource Description Framework
RDF is a convention for describing meta-data.
It’s a ‘lightweight’ model in data terms - and one that can be encoded in XML. It is based on
everything having a URI = Universal Resource Identifier
Properties - resources with a ‘name’ such as slots in an object frame
An RDF document is a series of Statements -
(Resource, Property, Value)
Artform Research Group
RDF example
RDF ~ set of (Resource, Property, Value)"The Author of
http://scom.hud.ac.uk/scomtlm/Artform/planning.html
is Lee McCluskey.”
IN RDF:
<rdf:Description about= http://scom.hud.ac.uk/scomtlm/Artform/planning.html'> <Author> Lee McCluskey </Author>
</rdf:Description>
Resource, Property, Values can all have URI’s
Artform Research Group
RDFS -
RDF Schema = RDF + classes, properties of properties, etc - gives more structure to RDF
This would make the Semantic Web look like one enormous distributed OODB (… but DB’s usually angled towards one application - the SW (will be?) is ubiquitous..)
Artform Research Group
Vocabularies….
RDF/RDFS allows anyone to write their own
name-space document (a ‘schema’). This defines properties and classes in some application domain
These form vocabularies which can be used globally for sharing the meaning of tags
Artform Research Group
Ontologies
An ‘Ontology’ is an agreed on, shared, common understanding of a domain written as an explicit, formal specification.
(cf my seminar on Ontologies last year! Slides can be got via my website under ‘seminar slides’)
Artform Research Group
Ontologies First used for Knowledge-Sharing in KBS, it seems
that many scientific areas are creating their own Ontologies (even Genomics!!)
They can be as simple as a ‘concept hierarchy’ or as complex as an axiomatic theory of sets.
There are two “kinds” of ontology: representation ontology (axiomatization of basic operations used in many applications) and application ontology which are domain specific.
Artform Research Group
Oil (Ontology Infrastructure Language)
Oil is a web-integrated prototype standard for specifying Ontologies
OIL
Natural Frame-based (OO) language
Based on Web Standards XML and RDF(S)
Description-logic-based semantics and reasoning
Tool Support e.g. Oiled
Artform Research Group
Hierarchy of Languages
DAML + OiL
RDFS
RDF
XML
Artform Research Group
DAML+Oil example Define a "product number"'s domain and range..
<daml:DatatypeProperty rdf:ID="productNumber">
<rdfs:label>Product Number</rdfs:label>
<rdfs:domain rdf:resource="#Product"/>
<rdfs:range rdf:resource=
"http://www.w3.org/2000/10/XMLSchema#nonNegativeInteger"/>
</daml:DatatypeProperty>
”Availability" is a sort of enumerated type..
<daml:Class ID="Availability">
<daml:oneOf parseType="daml:collection">
<daml:Thing rdf:ID="InStock">
<rdfs:label>In stock</rdfs:label> </daml:Thing>
<daml:Thing rdf:ID="BackOrdered">
<rdfs:label>Back ordered</rdfs:label> </daml:Thing>
<daml:Thing rdf:ID="SpecialOrder">
<rdfs:label>Special order</rdfs:label> </daml:Thing>
</daml:oneOf>
</daml:Class>
Artform Research Group
What about Sevices?
The idea of the SW now extends to ‘Services’… networked processes may be specified in terms of pre- and post conditions, where these conditions are written in a globally accepted mark-up language…!
Artform Research Group
Intelligent KBS
Two related, major problems have remain unsolved in symbolic intelligent systems -
-- Knowledge Acquisition - can be prohibitive! New forms of reasoning / intelligent process have had to have new hand-crafted knowledge bases built for them for each application area in which they are need to work.
-- ‘General’ reasoning systems don’t scale up: The high profile successes tend to be in very narrow applications such as in Chess or Expert Systems
Artform Research Group
The Solution in the Semantic Web
The SW may solve BOTH these problems:
-- The SW infrastructure of Ontologies and structured web information could ease the problems of knowledge acquisition
-- It could provide a global, dynamic, ‘unlimited’ environment in which Intelligent Processes can be deployed
General Planning and Learning programs will be much easier to apply and evaluate
Artform Research Group
Example - automated planning
Sensors
Reasoning Mechanism
World Model (facts, objects, actions, rules)
Effectors
GOAL =>
=> PLAN =>
PLANNINGAGENT
Artform Research Group
Example - automated planning
Knowledge Acquisition:
facts - from effective SW information retrieval
actions - pre- and post conditions of semantic web services
Online Ontologies - allow the Agent to interpret the acquired facts and actions
Sensors - e.g. results of searches or communications
Effectors - e.g. execution of semantic web services
Artform Research Group
“My theory”... The biggest problems in AI planning
currently – are lack of Accessibility and Usability of the technology
Timely maturing of 4 research areas –
-- Semantic Web
-- knowledge engineering, sharing and re-use
-- Planning language conventions
-- Planning KE
will solve these problems..
Artform Research Group
Conclusions The Semantic Web looks like becoming a
reality in the future (when?). It will be a bit like an enormous distributed OODB with composable services
The Semantic Web’s dynamic, boundless aspects coupled with structured descriptions of info and processes will present great opportunities for research and developers of AI technology (as well as much else!)
Artform Research Group
References
You can get these slides from my web site Any other resources are easy to get - eg search
on “Semantic Web Conference”...