Ontology http://ksl.stanford.edu/projects/DAML/chimaera-jtp-cardinality-test1.daml

Link

http://ksl.stanford.edu/projects/DAML/chimaera-jtp-cardinality-test1.daml (hyperdaml) (dumpont)

Description

This is a small testing ontology. It is includes as an example of how to test a theorem prover implementing inferences required for complete processing of DAML+OIL. This ontology only contains a portion of the diagnostic testing suite. A more complete version will be submitted when completed and tested.

Point of Contact

Deborah L. McGuinness of Knowledge Systems Laboratory, Stanford University

Submitter

Deborah L. McGuinness of Knowledge Systems Laboratory, Stanford University

Submission Date

2001-02-01

Keywords

cardinality
daml+oil
description logics
diagnostics
oil
testing

Open Directory Categories

http://dmoz.org/Computers/
http://www.dmoz.org/Computers/Software/
http://www.dmoz.org/Computers/Software/Testing_Services/

Classes

AnswerList
QueryItem
QueryList
Test
TestType

Properties

answerfromjtp
kb
numberOfErrors
query
querytojtp
type

Namespaces Used

http://interdataworking.com/vocabulary/order-20000527
http://ksl.stanford.edu/projects/DAML/chimaera-jtp-cardinality-test1.daml
http://www.daml.org/2001/03/daml+oil
http://www.w3.org/1999/02/22-rdf-syntax-ns
http://www.w3.org/2000/01/rdf-schema

Funding Source

DARPA DAML Program

Notes

Interesting use of markup languages as a diagnostic suite encoding mechanism.