Hello Pat, (01)
On Sun, Nov 24, 2013 at 11:03:25AM -0600, Pat Hayes wrote:
> It is hard to know how to make prominent warnings about what is NOT entailed,
>as so much is not entailed. Let me ask you, why did you assume that it was
>entailed? (02)
I saw that a (strict) RDFS reasoner using multiple passes would produce the
ABox consequences of those additional TBox entailments. As my reasoner does not
use multiple passes, but tries to produce all entailments of a new TBox/ABox
fact in one step, I had to include those additional entailments into my
internal TBox. (03)
As this TBox stays internal, there should be no problem. But I think I was not
aware that producing the TBox entailments as new facts would not be covered by
RDFS. (04)
Regards, (05)
Michael Brunnbauer (06)
--
++ Michael Brunnbauer
++ netEstate GmbH
++ Geisenhausener Straße 11a
++ 81379 München
++ Tel +49 89 32 19 77 80
++ Fax +49 89 32 19 77 89
++ E-Mail brunni@xxxxxxxxxxxx
++ http://www.netestate.de/
++
++ Sitz: München, HRB Nr.142452 (Handelsregister B München)
++ USt-IdNr. DE221033342
++ Geschäftsführer: Michael Brunnbauer, Franz Brunnbauer
++ Prokurist: Dipl. Kfm. (Univ.) Markus Hendel (07)
pgp9XOTWvghRP.pgp
Description: PGP signature
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01)
|