swrl tbox built in

[gregmocko]

I have developed an ontology in Protege 5.5.0. I have asserted two classes with a hierarchical structure
Thing
-->Model
--> CAD_Model

I am attempted to use the SQWRL and SWRL rules within the SQWRL tab. The query that I written uses SWRL Tbox built ins, I have copied an examples from https://github.com/protegeproject/swrlapi/wiki/SQWRLQueryAPI

tbox:sca(Model, ?c) -> sqwrl:select(?c)

I have run the Fact++ reasoner. Given the description of the tbox:sca built in function I was expecting to return the class "CAD_Model". My basic desire is not only to return Individuals within a class but to return a Subclass from a known class. Is there any insight on this built-in. The git page indicates it is implemented.

[martinjoconnor]

The parent is in the second argument position:

sca: Subclass axiom. e.g., tbox:sca(?c, Parent)

Also note the statement on the parent page: Note that these built-ins query only asserted axioms.

https://github.com/protegeproject/swrlapi/wiki/SWRLAPIOWLAxiomBuiltInLibraries

[gregmocko]

I have tried both with the argument in both positions. There are two examples to tbox: sca - one as a subclass and one as a superclass. I have not been able of get it to work either way. Get Outlook for iOS<https://aka.ms/o0ukef>

…

________________________________ From: martinjoconnor ***@***.***> Sent: Tuesday, March 15, 2022 7:21:15 PM To: protegeproject/swrlapi ***@***.***> Cc: Gregory Mocko ***@***.***>; Author ***@***.***> Subject: Re: [protegeproject/swrlapi] swrl tbox built in (Issue #77) The parent is in the second argument position: sca: Subclass axiom. e.g., tbox:sca(?c, Parent) Also note the statement on the parent page: Note that these built-ins query only asserted axioms. https://github.com/protegeproject/swrlapi/wiki/SWRLAPIOWLAxiomBuiltInLibraries — Reply to this email directly, view it on GitHub<#77 (comment)>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/AQYUSUDPXBEJ4SYOEP3WIJ3VAELOXANCNFSM5Q2DDSXQ>. Triage notifications on the go with GitHub Mobile for iOS<https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android<https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub>. You are receiving this because you authored the thread.Message ID: ***@***.***>

[martinjoconnor]

Can you post a simple ontology that illustrates this issue. (Change the .owl extension to .txt since GitHub will not accept .owl as a file extension.)

Also check that you are using the latest SWRLAPI release (2.0.11).

[gregmocko]

I really appreciate the help Martin.

I did have an older version of SWRLAPI - I updated the version and it worked.

As you have pointed out above, the tbox:sca will only work with asserted classes. How would I find subclasses for defined classes or inferred classes. Any insight would be great.

I have attached my simple ontology.
simply_ontology_mocko.txt

[martinjoconnor]

I would post this more general question on the Protege mailing list. There are a lot of people using a variety of technologies that post there.

https://protege.stanford.edu/support.php

[gregmocko]

Thanks. GREGORY MOCKO | Associate Professor Department of Mechanical Engineering<https://www.clemson.edu/cecas/departments/me/> College of Engineering, Computing and Applied Sciences<http://www.clemson.edu/cecas/> 243 Fluor Daniel EIB| Clemson, SC 29634-0901 ***@***.******@***.***> | 404.803.4734 (cell) To find a time to schedule an appointment: Mocko ***@***.***/62bd57949268420da72545e164b20cea13872940677138430957/calendar.html> Skype: gmocko From: martinjoconnor ***@***.***> Date: Thursday, March 17, 2022 at 1:40 PM To: protegeproject/swrlapi ***@***.***> Cc: Gregory Mocko ***@***.***>, Author ***@***.***> Subject: Re: [protegeproject/swrlapi] swrl tbox built in (Issue #77) I would post this more general question on the Protege mailing list. There are a lot of people using a variety of technologies that post there. https://protege.stanford.edu/support.php — Reply to this email directly, view it on GitHub<#77 (comment)>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/AQYUSUFMPAEJL4NKY3PICXTVANU5TANCNFSM5Q2DDSXQ>. Triage notifications on the go with GitHub Mobile for iOS<https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android<https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub>. You are receiving this because you authored the thread.Message ID: ***@***.***>