spechub / Hets

The Heterogeneous Tool Set

http://hets.eu

GNU General Public License v2.0

57 stars 19 forks source link

refactor OWL sublogic and connect sublogic specific provers #931

Open sternk opened 10 years ago

sternk commented 10 years ago

The currently defined sublogics are given in spechub/Hets:OWL/Sublogic.hs and the provers are fact++ and pellet For EL, connect at least one of the provers described in http://www.semantic-web-journal.net/content/new-submission-comparison-reasoners-large-ontologies-owl-2-el-profile

There should be a sublogic "OWL with restrictions" (like no asymmytry and transitivity for a role simultaneously), and the provers should be attached to that sublogic (or a suitable sublogic of it).

tillmo commented 5 years ago

1865 is related

mcodescu commented 4 years ago

1863 is related

mcodescu commented 4 years ago

Also add SWRL, see #1847

b-gehrke commented 2 years ago

Add ELK Add Konclude Add Racer (optional)

tillmo commented 6 months ago

@b-gehrke has the sublogic part of this issue been done?

b-gehrke commented 6 months ago

Yes. #2058 adds the unrestrictedDL and rules flag to OWL2.Sublogic.OWLSub