This repository contains an Eclipse project containing an implementation of the ELVn reasoner ELVLog (ELVn is a Description Logic fragment that extends the epxressivity of OWL 2 EL allowing for the use of nominal schemas). At the moment, this project uses native libraries which will only work on Mac OS. Nevertheles, if you are interested in using Velox with some other operating system contact me at david.carral@tu-dresden.de, I'd love to help you out! : )
-
Notifications
You must be signed in to change notification settings - Fork 0
dcarralma/ELVlogDeprecated
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Implementation of the very efficient ELVn reasoner ELVLog (ELVn is a Description Logics fragment which loosely corresponds to OWL EL extended with nominal schemas).
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published