Functional Ontology Artifacts: Emergent and Existent Knowledge

Daniel E. O'Leary

Ontologies provide an artifact that can be verified and validated. This paper provides one approach for modeling an ontology. Using this approach the paper elicits desirable ontology characteristics that facilitate verification. In addition, ontologies provide a basis for verification and validation. This paper also addresses use of an ontology in order ultimately to facilitate verification of the system artifact.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.