Help Required

[Muhammad Javed]

Hi, 

I would like to ask that 

1_ How one can define Axioms.....

Is it a part of Ontology ? OR

Different Property Characteristics combine together and present an axiom.

1_ How one can define Ontology.

Is it a tuple of C, P and I   OR

It consist of C, P ,I Restrictions and Axioms...

Please need your comments to clarify things....

----------------------------------------------
Muhammad Javed
PhD Research Student

[Bijan Parsia-3]

On 29 Jul 2009, at 10:49, Muhammad Javed wrote:

> Hi,
>
> I would like to ask that
>
> 1_ How one can define Axioms.....
>
> Is it a part of Ontology ? OR
>
> Different Property Characteristics combine together and present an  
> axiom.

http://www.w3.org/TR/2009/CR-owl2-syntax-20090611/#Axioms

I would say that an axiom is a closed well formed formula.

> 1_ How one can define Ontology.
>
> Is it a tuple of C, P and I   OR
>
> It consist of C, P ,I Restrictions and Axioms...

http://www.w3.org/TR/2009/CR-owl2-syntax-20090611/#Ontologies

I would say, as a very first approximation, that an Ontology is a set  
of axioms.

It's a very first approximation because, for example, we can  
distinguish two ontologies by name, we can further distinguish them by  
a set of ontology annotations, and we can even further distinguish  
them by their imports substructure.

So, structurally, we can define an OWL ontology as:

        1) an object
        2) which has a (possibly empty) name slot)
        3) which has a (possibly empty) set of annotations
        4) that roots a (possibly empty) set of directly imported ontologies
        5) and contains a set of axioms (including declaration axioms)

Cheers,
Bijan.

[Pat Hayes]

On Jul 29, 2009, at 3:49 AM, Muhammad Javed wrote:

Hi, 

I would like to ask that 

1_ How one can define Axioms.....

An axiom is a sentence which is asserted or claimed to be true, often by publishing it on the Web as part of an ontology.

Is it a part of Ontology ?

Yes.

OR

Different Property Characteristics combine together and present an axiom.

Yes, more or less, since that is how sentences are typically constructed.

1_ How one can define Ontology.

Is it a tuple of C, P and I  

What do you mean by C P and I ?

OR

It consist of C, P ,I Restrictions and Axioms...

It consists of axioms, though that is not always the most helpful way to describe an ontology. A better definition os the original one by Tom Gruber: an ontology is a formalization of a conceptualization of some topic.

Pat Hayes

Please need your comments to clarify things....

----------------------------------------------
Muhammad Javed
PhD Research Student

------------------------------------------------------------

IHMC                                     [phone] or [phone]   

40 South Alcaniz St.           [phone]   office

Pensacola                            [phone]   fax

FL 32502                              [phone]   mobile

phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes