hermit-reasoner | conformant OWL 2 DL reasoner that uses the direct semantics

 by   phillord HTML Version: Current License: No License

kandi X-RAY | hermit-reasoner Summary

kandi X-RAY | hermit-reasoner Summary

hermit-reasoner is a HTML library. hermit-reasoner has no bugs, it has no vulnerabilities and it has low support. You can download it from GitHub.

HermiT is a conformant OWL 2 DL reasoner that uses the direct semantics. It supports all OWL2 DL constructs and the datatypes required by the OWL 2 specification. HermiT is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. HermiT is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details. Copies of the GNU General Public License and the GNU Lesser General Public License have been included with this distribution in the file gpl-0.0.txt and lgpl-3.0.txt, respectively. An online version is available at More information about HermiT and additional licensing information is available at or by contacting Boris Motik or Ian Horrocks at the Department of Computer Science in the University of Oxford.
Support
    Quality
      Security
        License
          Reuse

            kandi-support Support

              hermit-reasoner has a low active ecosystem.
              It has 44 star(s) with 23 fork(s). There are 10 watchers for this library.
              OutlinedDot
              It had no major release in the last 6 months.
              There are 8 open issues and 2 have been closed. On average issues are closed in 185 days. There are 1 open pull requests and 0 closed requests.
              It has a neutral sentiment in the developer community.
              The latest version of hermit-reasoner is current.

            kandi-Quality Quality

              hermit-reasoner has 0 bugs and 0 code smells.

            kandi-Security Security

              hermit-reasoner has no vulnerabilities reported, and its dependent libraries have no vulnerabilities reported.
              hermit-reasoner code analysis shows 0 unresolved vulnerabilities.
              There are 0 security hotspots that need review.

            kandi-License License

              hermit-reasoner does not have a standard license declared.
              Check the repository for any license declaration and review the terms closely.
              OutlinedDot
              Without a license, all rights are reserved, and you cannot use the library in your applications.

            kandi-Reuse Reuse

              hermit-reasoner releases are not available. You will need to build from source code and install.
              It has 154008 lines of code, 4345 functions and 287 files.
              It has high code complexity. Code complexity directly impacts maintainability of the code.

            Top functions reviewed by kandi - BETA

            kandi's functional review helps you automatically verify the functionalities of the libraries and avoid rework.
            Currently covering the most popular Java, JavaScript and Python libraries. See a Sample of hermit-reasoner
            Get all kandi verified functions for this library.

            hermit-reasoner Key Features

            No Key Features are available at this moment for hermit-reasoner.

            hermit-reasoner Examples and Code Snippets

            No Code Snippets are available at this moment for hermit-reasoner.

            Community Discussions

            Trending Discussions on hermit-reasoner

            QUESTION

            Explanations in Consistent OWL Ontologies
            Asked 2022-Jan-08 at 19:43

            I want to programmatically get explanations for inferred axioms in consistent ontologies, in a similar manner that one can do in the Protégé UI. I cannot find any straightforward way. I have found the owlexplanation repo, but I cannot for the life of me solve the dependency issues to set up the owlexplanation environment. I have also browsed the javadoc of owlapi regarding explanations (to avoid the other repo altogether), but I don't see anything useful beyond what I can already see browsing the Java source code.

            I have thought of simply negating the inferred axiom, to get explanations through inconsistencies, but I would prefer something cleaner, and I am not sure this approach is correct anyway.

            Other (possibly) useful context:

            • I had used some Java years ago, but I now primarily use Python (I try to use OWL API with JPype and OWL in general with Owlready2).
            • I am using HermiT reasoner (again through JPype) (according to build.xml file, latest stable version 1.3.8).
            • I have managed to get explanations for unsatisfiability and inconsistency in my setup, without owlexplanation, following this example from the HermiT source code.
            • I fell in the rabbit hole wanting to make a usable .jar file for owlexplanation, in order to add it in my JPype classpath. My plan went sideways when I couldn't get the Java project to build in the first place.
            • I am using Intellij IDE.

            I would appreciate any insight or tips.

            UPDATE Jan 6, 2022:

            I decided to try once more with the owlexplanation code with a clean head so here is where I am at:

            • Downloaded the source code from github and extracted the zip.
            • Started IntelliJ and instead from "Creating a project from Existing sources", I clicked "Open" and selected the extracted directory.
            • I built the project and it did successfully.
            • From Maven tools, I run clean, validate, compile and test succesfully.
            • If I run "package" Maven action, it throws as error that "The environment variable JAVA_HOME is not correctly set". The thing is that if I go File>Project Structure, I see that SDK is set to 11, it's not empty.
            • Additionally, from the pom.xml file I get these problems:
              • Plugin 'org.apache.maven.plugins:maven-gpg-plugin:1.5' not found
              • Plugin 'org.sonatype.plugins:nexus-staging-maven-plugin:1.6.6' not found

            UPDATE Jan 8, 2022: (Trying @Ignazio's answer)

            I created a new IntelliJ project, and added the Maven dependencies @Ignazio mentioned (plus some others like slf4j etc) and I got a working example (I think). Moving to my main project (using JPype), I had to manually download some .jars to include in the classpath (as maven can't be used here). These are the ones downloaded so far:

            ...

            ANSWER

            Answered 2022-Jan-07 at 20:52

            You're not just using the projects but actually building them from scratch, which requires more setup than using the published artifacts.

            Shortcut that uses Maven available jars (via Maven Central, although other public repositories should do just as well)

            Java code:

            Source https://stackoverflow.com/questions/70593249

            Community Discussions, Code Snippets contain sources that include Stack Exchange Network

            Vulnerabilities

            No vulnerabilities reported

            Install hermit-reasoner

            You can download it from GitHub.

            Support

            For any new features, suggestions and bugs create an issue on GitHub. If you have any questions check and ask questions on community page Stack Overflow .
            Find more information at:

            Find, review, and download reusable Libraries, Code Snippets, Cloud APIs from over 650 million Knowledge Items

            Find more libraries
            CLONE
          • HTTPS

            https://github.com/phillord/hermit-reasoner.git

          • CLI

            gh repo clone phillord/hermit-reasoner

          • sshUrl

            git@github.com:phillord/hermit-reasoner.git

          • Stay Updated

            Subscribe to our newsletter for trending solutions and developer bootcamps

            Agree to Sign up and Terms & Conditions

            Share this Page

            share link