W3C home > Mailing lists > Public > semantic-web@w3.org > October 2009

Re: Covering Axiom Question

From: Bernard Vatant <bernard.vatant@mondeca.com>
Date: Thu, 1 Oct 2009 09:46:37 +0200
Message-ID: <9d93ef960910010046i5e6817f3nc6bc6c7dc7b5932d@mail.gmail.com>
To: Kevin Tyson <kevin.tyson@gmail.com>
Cc: semantic-web@w3c.org
Kevin

I would say DisjointUnion in OWL 2 is exactly what you are looking for
http://www.w3.org/TR/2009/PR-owl2-new-features-20090922/#F1:_DisjointUnion

Best

Bernard

2009/9/30 Kevin Tyson <kevin.tyson@gmail.com>

> Greetings,Is it possible to create a covering axiom such that any
> instances of the covered class must be a direct instance of one of the
> covering classes?Such a structure would be analogous to the "abstract
> super class" pattern popular in some O-O programming and modeling languages.
> TIA,
> Kevin
>
> --
> Kevin P. Tyson
> Kevin.Tyson@gmail.com
>



-- 
Bernard Vatant
Senior Consultant
Vocabulary & Data Engineering
Tel:       +33 (0) 971 488 459
Mail:     bernard.vatant@mondeca.com
----------------------------------------------------
Mondeca
3, cité Nollez 75018 Paris France
Web:    http://www.mondeca.com
Blog:    http://mondeca.wordpress.com
----------------------------------------------------
Received on Thursday, 1 October 2009 07:47:11 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:48:02 UTC