This paper describes an object-oriented framework for ontology representation, which was derived from the analysis of a set of use cases for ontology services provided by ontology agents in open agent networks. The described use cases are converted into a set of requirements for the Information System supporting the ontology service.Each ontology on the server has classes, properties and methods. Classes have attributes, which are properties, methods and axioms. Attributes have facets. Methods have arguments, return value and method definition through axioms. Classes and properties may be arranged in hierarchies. The proposed framework accommodates the expression of arbitrary axioms about the entities in the ontology. We propose a situation calculus approach for describing the action methods of the ontology. Action methods are described by state change and state constraint axioms. The frame problem is handled assuming that nothing changes unless explicitly stated.We present the definition of several relations between entities of different ontologies that allow inferring global relations between those ontologies. Finally, we propose Extended-SL as the Representation Language of O3F.
[1]
M. Calisti,et al.
FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS
,
2000
.
[2]
Vipul Kashyap,et al.
Managing Multiple Information Sources through Ontologies: Relationship between Vocabulary Heterogeneity and Loss of Information
,
1996,
KRDB.
[3]
John McCarthy,et al.
SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
,
1987
.
[4]
Jonathan Dale,et al.
Pizza and a Movie: A Case Study in Advanced Web Services
,
2002
.
[5]
Patricia Charlton,et al.
Agentcities: A Worldwide Open Agent Network
,
2001
.
[6]
Nicolas Lhuillier,et al.
FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS
,
2003
.
[7]
Richard Fikes,et al.
Tools for Assembling Modular Ontologies in Ontolingua
,
1997,
AAAI/IAAI.
[8]
Luís Miguel Botelho,et al.
Personal access to a worldwide agent network
,
2002,
AAMAS '02.
[9]
António Luís Lopes,et al.
From DAML-S to Executable Code
,
2002
.
[10]
Luís Miguel Botelho,et al.
Send Fredo off to Do This, Send Fredo off to Do That
,
2003,
CIA.
[11]
Raphael Volz,et al.
Semi-automatic Ontology Acquisition from a Corporate Intranet
,
2000
.