The configuration design ontologies and the VT elevator domain theory

✍ Scribed by T.R. Gruber; G.R. Olsen; J. Runkel

• Book ID: 102569076
• Publisher: Elsevier Science
• Year: 1996
• Tongue: English
• Weight: 379 KB
• Volume: 44
• Category: Article
• ISSN: 1071-5819
• DOI: 10.1006/ijhc.1996.0024

✦ Synopsis

In the VT / Sisyphus experiment , a set of problem solving systems were being built against a common specification of a problem . An important hypothesis was that the specification could be given , in large part , as a common ontology . This article is that ontology . This ontology is dif ferent than normal software specification documents in two fundamental ways . First , it is formal and machine readable (i . e . in the KIF / Ontolingua syntax) . Second , the descriptions of the input and output of the task to be performed include domain knowledge (i . e . about elevator configuration) that characterize semantic constraints on possible solutions , rather than describing the form (data structure) of the answer . The article includes an overview of the conceptualization , excerpts from the machine-readable Ontolingua source files , and pointers to the complete ontology library available on the Internet .