protegeproject / swrlapi

Java API for working with the SWRL rule and SQWRL query languages
Other
99 stars 40 forks source link

swrl tbox built in #77

Open gregmocko opened 2 years ago

gregmocko commented 2 years ago

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 commented 2 years ago

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 commented 2 years ago

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 iOShttps://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 GitHubhttps://github.com/protegeproject/swrlapi/issues/77#issuecomment-1068557137, or unsubscribehttps://github.com/notifications/unsubscribe-auth/AQYUSUDPXBEJ4SYOEP3WIJ3VAELOXANCNFSM5Q2DDSXQ. Triage notifications on the go with GitHub Mobile for iOShttps://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Androidhttps://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 commented 2 years ago

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 commented 2 years ago

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 commented 2 years ago

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 commented 2 years ago

Thanks.

GREGORY MOCKO | Associate Professor Department of Mechanical Engineeringhttps://www.clemson.edu/cecas/departments/me/ College of Engineering, Computing and Applied Scienceshttp://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 GitHubhttps://github.com/protegeproject/swrlapi/issues/77#issuecomment-1071135519, or unsubscribehttps://github.com/notifications/unsubscribe-auth/AQYUSUFMPAEJL4NKY3PICXTVANU5TANCNFSM5Q2DDSXQ. Triage notifications on the go with GitHub Mobile for iOShttps://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Androidhttps://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: @.***>