Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] Finding if A is the same type of individual as B

Martin O'Connor martin.oconnor at stanford.edu
Mon Aug 13 10:18:15 PDT 2007


These additions will be in the 3.3.1. release, which should be available 
this week. Alternatively, you can download the latest code from 
Subversion, which includes them,

Martin

Seungcheol wrote:

>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 [1]. However, these libraries  
>>should only be used in SWRL queries [2] and should not be used to make  
>>inferences if you are concerned about formal safety.
>>    
>>
>
>  
>
>>[1] http://protege.cim3.net/cgi-bin/wiki.pl?SWRLTabBuiltInLibraries
>>[2] http://protege.cim3.net/cgi-bin/wiki.pl?SWRLQueryBuiltIns
>>    
>>
>
>
>I found abox ontology in swrl [1]. But the abox ontology [3] does not 
>have 'hasClass' and the abox ontology [3]looks different from the description.
>
>  [3] http://swrl.stanford.edu/ontologies/built-ins/3.3/abox.owl
>
>I wonder whether you could offer full abox ontology instead of the truncated 
>one.
>
>
>Thank you 
>
>-Seungcheol Yang
>
>
>
>_______________________________________________
>protege-owl mailing list
>protege-owl at lists.stanford.edu
>https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
>Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 
>
>  
>




More information about the protege-owl mailing list