Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow DL-syntax rules in HOWL files #6

Open
alanruttenberg opened this issue Aug 18, 2016 · 1 comment
Open

Allow DL-syntax rules in HOWL files #6

alanruttenberg opened this issue Aug 18, 2016 · 1 comment

Comments

@alanruttenberg
Copy link

Several of the reasoners allow inclusion of (a subset of) SWRL rules, implemented as DL-safe rules. It would be very nice to be able to include such rules in the body of an ontology. There is an abstract syntax for them and an RDF mapping and OWLAPI support. Example implementation in LSW: https://github.com/alanruttenberg/lsw2/blob/owlapiv4/owl2/swrl-rdf-mapping.lisp.
Example of use near the bottom. In that implementation I didn't use the OWLAPI but rather generated the RDF directly, but that's a minor detail.

@jamesaoverton
Copy link
Member

We're working toward this with item 14 in the new design doc.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants