Is there a way to get inferences from HermiT reasoner that contain negation (ObjectComplementOf)? Here is what I tried: OWLOntologyManager manager = ...
Is there a way to get inferences from HermiT reasoner that contain negation (ObjectComplementOf)? Here is what I tried: OWLOntologyManager manager = ...
I am trying to load multiple ttl files with the OWLOntologyManager by documentSource, and then reasoning over the imports closure with the main Ontolo ...
I have an Ontology which have some SWRL rules (created using Protege). I am using OWL API to manipulate the ontology and using JENA API for SPARQL Que ...
I'm trying to model, desires and intentions in OWL as follows. There are four sub-classes of Parent Class Desire as shown and Intention specialize ...
Context: I am working on a Java Spring Boot web application that manipulates OWL and RDF data for various tasks (ontology loading, consistency checkin ...
I am trying to access information about completion graph, but everytime it ends with error uk.ac.manchester.cs.jfact.helpers.UnreachableSituationExcep ...
I am a beginner in OWL API and am learning how to parse functional syntax. So far I have been unable to do it, and cannot figure out where I am going ...
I have an OWL file in rdf/xml syntax which contains an asserted ontology. I want to apply an OWL DL reasoner to derive additional axioms. I know I cou ...
I am trying to call an OWL API java program through terminal and it crashes, while the exact same code is running ok when I run it in IntelliJ. The e ...
I have an ontology with one individual a and 6 classes (A, B, C, D, E, F). Individual belongs to the following disjunctions: (A or B; C or D; E or F). ...
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 can ...
I want to express the following DL assertions in OWL meaning that A is subconcept of B and all the instances of A must have a relation R with somet ...
I tried to create different individual axiom using OWLAPI 5 in Java. What I want is simple triple using vocab owl:differentFrom like: But what I ge ...
In the context of using the OWLAPI 4.0 API, this following line of code: ontologyIRI = IRI.create(o.getOntologyID().getOntologyIRI().toString()); ret ...
I have an API that receive a JSON document with classes, properties and axioms of an ontology. The file looks like this: The variable Constraint is ...
I have owl file that I need to parse using Java. I am using Java OWL API. I read the file and I was able to return all classes and properties. Howe ...
First of all, I'm a newbie with Maven, so I apologize if I misunderstood something. In a recent question I ask about the import of OWLApi in my Java p ...
I trying to get reasoning explanations using getInstanceExplanations method: But I had this error: I am using OWL-API 4.5.0, and pellet 2.3.2 ...
I tried to save my ontology as NTriples format using owlapi. This error appear when I try to save my ontology: And the code that referenced in erro ...
I'm trying to produce entailment for the rule in OWL 2 RL 'The Semantics of Equality' using owl-api. I already tried to follow: Why the inferences vis ...