Re: category theory from Renato golin on 2007-07-09 (semantic-web@w3.org from July 2007)

From: Renato golin <renato@ebi.ac.uk>
Date: Mon, 09 Jul 2007 11:24:30 +0100
To: Ivan Herman <ivan@w3.org>
CC: semantic-web@w3.org
Message-ID: <46920CDE.2080009@ebi.ac.uk>

Ivan Herman wrote:
> Renato,
> 
> I think all the examples that you describe are covered by OWL. If you
> use OWL for your ontology, you can specify that a predicate is
> 
> - transitive
> - symmetric
> - functional
> - inverse of another predicate
> - inverseFunctional
> 
> The terms injective and surjective are not used, these are equivalent (I
> believe) to inverseFunctional and functonal, respectively (bijective is
> simply a predicate that is both).

Hi Ivan,

I guess those cover my examples, will play with them for a while and if 
I miss something will come back later... ;)

thanks!
--renato

Received on Monday, 9 July 2007 10:24:38 UTC