KSL-94-18 + redirect page
An ontology for engineering mathematics + Has identifier
An ontology for engineering mathematics + Ksl tr id
| An ontology for engineering mathematics |
Bibtype
inproceedings
Has publishing details
1994
Has title
An ontology for engineering mathematics
Has where published
Fourth International Conference on Principles of Knowledge Representation and Reasoning
Has year
1994
Title
An ontology for engineering mathematics
Year
1994
Abstract
We describe an ontology for mathematical m … We describe an ontology for mathematical modeling in engineering. The ontology includes conceptual foundations for scalar, vector, and tensor quantities, physical dimensions, units of measure, functions of quantities, and dimensionless quantities. The conceptualization builds on abstract algebra and measurement theory, but is designed explicitly for knowledge sharing purposes. The ontology is being used as a communication language among cooperating engineering agents, and as a foundation for other engineering ontologies. In this paper we describe the conceptualization of the ontology, and show selected axioms from definitions. We describe the design of the ontology and justify the important representation choices. We offer evaluation criteria for such ontologies and demonstrate design techniques for achieving them. rate design techniques for achieving them.
Note
February.
Address
Gustav Stresemann Institute, Bonn, Germany +
Author
Thomas R. Gruber and Gregory R. Olsen +
Booktitle
Fourth International Conference on Principles of Knowledge Representation and Reasoning +
Has author
Thomas R. Gruber and Gregory R. Olsen +
Has identifier
An ontology for engineering mathematics +
Ksl tr id
An ontology for engineering mathematics +
Process note
GOOGLE +
Publisher
Morgan Kaufmann +
Categories InProceedings +, KSL Technical Report +, Publication +
|
