SWRLRBoxBuiltInLibrary

This built-in library provides methods for querying OWL RBox axioms using the SQWRL query language. This built-in library is 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)
• djopa Disjoint object property axiom. e.g., rbox:djopa(?p, hasUncle)
• sopa Sub object property of axiom. e.g., rbox:sopa(?p, hasFather)
• eopa Equivalent object properties axiom. e.g., rbox:eopa(?p, hasUncle)
• spa Symmetric object property axiom. e.g., rbox:spa(friendOf)
• aopa Asymmetric object property axiom. e.g., rbox:aopa(?p)
• ropa Reflexive object property axiom. e.g., rbox:ropa(?p)
• iropa Irreflexive object property axiom. e.g., rbox:iropa(?p)
• iopa Inverse object properties axiom. e.g., rbox:iopa(?p, hasUncle)
• djdpa Disjoint data properties axiom. e.g., rbox:djdpa(?p, hasAge)
• sdpa Sub data property axiom. e.g., rbox:sdpa(?p, hasName)
• edpa Equivalent data properties axiom. e.g., rbox:epda(?p, hasAge)
• 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 reflexive object properties:

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