Search Mailing List Archives
[protege-owl] Finding if A is the same type of individual as B
scyang at umich.edu
Fri Aug 10 14:08:53 PDT 2007
Martin O'Connor <martin.oconnor <at> stanford.edu> writes:
> However, I have implemented sets of built-ins libraries that support
> both ABox and TBox queries in SWRL . However, these libraries
> should only be used in SWRL queries  and should not be used to make
> inferences if you are concerned about formal safety.
>  http://protege.cim3.net/cgi-bin/wiki.pl?SWRLTabBuiltInLibraries
>  http://protege.cim3.net/cgi-bin/wiki.pl?SWRLQueryBuiltIns
I found abox ontology in swrl . But the abox ontology  does not
have 'hasClass' and the abox ontology looks different from the description.
I wonder whether you could offer full abox ontology instead of the truncated
More information about the protege-owl