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 Transitive object property axiom. e.g., rbox:topa(?p)
• spoca Not yet implemented. Sub property chain of axiom.

Examples

List all pairs of OWL disjoint data properties:

    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)