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

Seungcheol scyang at
Fri Aug 10 14:08:53 PDT 2007

Martin O'Connor <martin.oconnor <at>> 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]
> [2]

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.


I wonder whether you could offer full abox ontology instead of the truncated 

Thank you 

-Seungcheol Yang

More information about the protege-owl mailing list