SWRLRBoxBuiltInLibrary

This built-in library provides methods for querying OWL RBox axioms using the SQWRL query language. This built-in library is part of one of the three SWRLAPI OWL axiom querying libraries and can be used in combination with the ABox and TBox built-in libraries to query all OWL axiom types in an ontology.

This library defines the following built-ins:

• topa
• djopa
• sopa
• eopa
• iopa
• sopa
• spa
• aopa
• ropa
• iopa
• djdpa
• sdpa
• edpa
• spoca

Examples

List all OWL data property pairs used in OWL disjoint data property axioms:

    rbox:djdpa(?dp1, ?dp2) -> sqwrl:select(?dp1, ?dp2) ^ sqwrl:orderBy(?dp1, ?dp2)

List all OWL irreflexive object properties:

    rbox:ropa(?p) -> sqwrl:select(?p) ^ sqwrl:orderBy(?p)