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 Subclass axiom. e.g., tbox:sca(?c, Parent)
• eca Equivalent classes axiom. e.g., tbox:eca(?c, Dog)
• dca Disjoint classes axiom. e.g., tbox:dca(Mother, Father)
• fopa Functional object property axiom. e.g., tbox:fopa(hasMother)
• ifopa Inverse functional object property axiom. e.g., ifopa:eca(?p)
• fdpa Functional data property axiom. e.g., tbox:fdpa(hasAge)
• opda Object property domain axiom. e.g., tbox:opda(hasFriend, Person)
• opra Object property range axiom. e.g., tbox:opra(hasFriend, Person)
• dpda Data property domain axiom. e.g., tbox:dpda(hasSalary, Person)
• dpra Not yet implemented. Data property range axiom.
• dda Not yet implemented. Datatype definition axiom.
• dua Not yet implemented. Disjoint union of axiom.
• hka Not yet implemented. Has key axiom.

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)