W3C home > Mailing lists > Public > semantic-web@w3.org > August 2007

Propositional Logic

From: Sebastian Samaruga <samarugas@gmail.com>
Date: Thu, 9 Aug 2007 23:54:25 -0300
Message-ID: <6a75e7850708091954j4a664823t8812ae9301993e47@mail.gmail.com>
To: cg@conceptualgraphs.org, semantic-web@w3.org
Some thoughts regarding propositional logic:

Defining three kind of cualities any entity can have, and regarding that a
verb denotes action, passion or state, we can consider than an entity:

TO BE OF : to be of a Type (Action and passion)
TO HAVE : to have an Attribute (Action and state)
TO BE IN : to be in a state or Property (Passion and state)

Being Property (to be in) the class of a Type (to be of), Type the class of
an Attribute (to have), and Attribute the class of a Property, we can
consider the following cyclic order:

Type > Attribute
Attribute > Property
Property > Type

And the non cyclic order of:

Type > Attribute > Property

We can state that a Type (Name, abstract nouns) have Attributes (Name and
Value, concrete nouns), and an Attribute have Properties (Values,

So, for example, we can make the following propositions, using the first
cyclic order:

John is a Man (Type)
John have a wife (Attribute)
John is married (Property)
: John is a Husband (Type)

So, if John is a Husband, then we can infer that:
John is married,
John has a wife,
John is a Man.

And using the second, non-cyclic order, we can have that:

John is Employee of Peter
John have an employment with Peter
Peter is employing John
: John is Employee of Peter.

Considering the class of a Type, an Attribute or a Property as selectors, we
can build a list where each class/instance of a Type defines the
posible class/instance of the following Attributes needed to complete a
statement or to make an inference. The same with the Attribute-Property

Received on Friday, 10 August 2007 15:15:52 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:49:36 UTC