SWRLTBoxBuiltInLibrary

This built-in library provides methods for querying OWL TBox 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 RBox built-in libraries to query all OWL axiom types in an ontology.

This library defines the following built-ins:

• sca
• eca
• dca
• fopa
• ifopa
• fdpa
• opda
• opra
• dpda
• dpra
• dda
• dua
• hka

Examples

List all OWL class pairs used in OWL subclass axioms:

    tbox:sca(?csub, ?csup) -> sqwrl:select(?csub, ?csup) ^ sqwrl:orderBy(?csub, ?csup)

List all OWL superclasses of class C1:

    tbox:sca(C1, ?c) -> sqwrl:select(?c) ^ sqwrl:orderBy(?c)