|
|
|
|
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 |
|
|
|
|
|
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 |
|
|
|
|
|
|
|
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. |