|
|
|
Tools for |
|
DAML-Based Services, |
|
Query Answering, and |
|
Ontology Development |
|
|
|
|
|
|
DAML language development and promotion |
|
Query-answering from knowledge represented in
DAML |
|
DAML-enabled Web services |
|
Ontology development environments |
|
|
|
|
|
DAML Joint Committee participation |
|
Fikes (leading the development of DQL),
McGuinness, Horrocks |
|
W3C Web Ontology working group participation |
|
McGuinness and Horrocks (co-editors of the OWL
specification) |
|
Developed and are maintaining the axiomatic
semantics for DAML+OIL |
|
In the DAML+OIL description submitted to W3C |
|
Working with Richard Waldinger (at SRI) to
validate the axioms |
|
Will develop use cases for DAML+OIL |
|
Describe how and when to use for representation
and reasoning tasks |
|
Semantic Web for the Military |
|
McGuinness provided briefings at all meetings to
date |
|
Measures of progress (metrics?) |
|
Acceptance and use of DAML and OWL |
|
Use of the FOL axioms in automatic reasoning
systems |
|
|
|
|
DAML language development and promotion |
|
Query-answering from knowledge represented in
DAML |
|
DAML-enabled Web services |
|
Ontology development environments |
|
|
|
|
|
|
JTP – a query-answering system for DAML |
|
Richard Fikes, Gleb Frank, Jessica Jenkins,
Yulin Li |
|
Hybrid reasoning architecture |
|
General purpose first-order logic theorem prover |
|
Suite of special-purpose reasoners |
|
Special-purpose reasoner for DAML+OIL
query-answering |
|
Infers property values of classes and
individuals as KB is loaded |
|
In effect, caches answers to potential queries |
|
Uses linked lists of property values to reduce
redundancy |
|
Application: query-answering service for DAML
Web sites |
|
Would be a knowledge server for a site’s DAML
markup |
|
|
|
|
|
|
|
|
Forward chaining inference actions implement
DAML+OIL semantics |
|
Based on the axiomatic semantics for DAML+OIL |
|
Example |
|
Axiom:
If a restriction ?R is a toClass restriction to a class ?C on a
property ?P, ?X is type ?R, and ?V is a value of ?P for ?X, then ?V is type
?C. |
|
Forward chaining actions: |
|
If a restriction R is asserted to be a toClass
restriction to a class C on a property P, then activate the following
action: |
|
If an object X is asserted to be type R, then activate
the following action: |
|
If an object V is asserted to be a value of
property P for object X, then assert that V is type C. |
|
|
|
|
|
Will support the DQL language and protocol |
|
Generates answers one at a time via a
“continuation” |
|
Provides proofs as justifications for answers |
|
Expected to accommodate expanding expressive
power of DAML and OWL |
|
Supports full first order logic |
|
Supports incorporation of special-purpose
reasoners |
|
Available for use (from KSL.Stanford.edu) |
|
Being used in DARPA’s UltraLog program |
|
Can provide an important capability in the DAML
experiment |
|
Metrics |
|
Query-answering track record in DAML experiment |
|
Size and distribution of KBs supported |
|
Range of types of queries answered effectively |
|
|
|
|
|
|
DAML language development and promotion |
|
Query-answering from knowledge represented in
DAML |
|
DAML-enabled Web services |
|
Ontology development environments |
|
|
|
|
DAML language development and promotion |
|
Query-answering from knowledge represented in
DAML |
|
DAML-enabled Web services |
|
Ontology development environments |
|
|
|
|
|
|
KSL |
|
Customizing our ontology engineering tools for
DAML |
|
Chimaera ontology diagnosis and merging tools |
|
Translators to enable interoperation with OKBC
tools such as Ontolingua |
|
Providing consulting, tools, and ontologies for
retargeted HORUS efforts |
|
Supported Cisco Systems in developing ontologies
and ontology tools |
|
Manchester University |
|
Extending the OILED ontology editor to produce a
knowledge engineering environment for DAML+OIL |
|
Enhancing the DAML+OIL reasoning capabilities of
FACT |
|
Measures of success (metrics?) |
|
Tool use in the DAML experiment, HORUS, other
DARPA programs, industry, etc. |
|
Notes