|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| q | Ontology
server on line |
||||||||||||||
| q | “Thick”
ontologies for geoloc information, other domains (esp. |
||||||||||||||
| those used in ONA) |
|||||||||||||||
| q | Suite
of tools for |
||||||||||||||
| q | Translating
from RDF to PDDL and/or MetaSlang with maximal |
||||||||||||||
| transparency |
|||||||||||||||
| q | Making
web content visible as predicate calculus, XML, or HTML |
||||||||||||||
| q | Doing
common theorem-proving tasks (e.g., drawing conclusions from a |
||||||||||||||
| dataset
of similar facts) |
|||||||||||||||
| q | Logging
ontology-service requests, followup on success/failure |
||||||||||||||