W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2009

Re: Help Required

From: Pat Hayes <phayes@ihmc.us>
Date: Wed, 29 Jul 2009 08:34:06 -0500
Cc: public-owl-dev@w3.org
Message-Id: <ABFBBF41-85CD-468F-9BAE-3ADC114A8069@ihmc.us>
To: Muhammad Javed <ch.muhammad.javed@gmail.com>

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                                     (850)434 8903 or (650)494 3973
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes
Received on Wednesday, 29 July 2009 13:35:31 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:57 GMT