Stack Overflow
Stack Overflow

Questions tagged [pellet]

The Pellet reasoner is a Java based reasoning software that performs entailment tasks for OWL ontologies. This reasoner can be used with multiple frameworks such as Apache Jena, OWL-API and Protégé.

The Pellet reasoning software can perform inferencing over OWL 2 ontologies. It can be used stand alone or be integrated via APIs. Integrations with Jena, OWL-API and Protégé are described in Pellet's FAQ.

Questions could be about : - Integration and evolution of Pellet and its forks. - How its work and how it perform against other reasoning system(Hermit, Fact++, KM, Thea, etc...). - Integration with other applications Protege. - How to use a reasoner to get a specific result. - How it should be use, how it should not. - Help students when stuck (but with a something to show).

130 questions
1
vote
1 answer

Evaluate performance of an algorithm that uses a reasoner

I have developed an algorithm (java piece of code) that finds specific paths (property chains) between two given classes in an OWL-DL ontology. Here is the ontology Actually, Pellet reasoner is taking too much time to respond to my queries, about…
Median Hilal
  • 1,483
  • 9
  • 17
1
vote
2 answers

OWL-API 4.0.1 compatiable pellet reasoner?

I was using OWL-API version 4.0.1 together with Pellet reasoner version 2.3.6 as can be seen in the extracted from pom file maven dependency section below net.sourceforge.owlapi …
slm12slm slm12slm
  • 83
  • 6
1
vote
3 answers

Using Jena with Pellet; NoClassDefFoundError Exception

I'm trying to use Jena 2.12.1 with Pellet; I downloaded the latest Apache Jena library from their site Jena 2.12.1. First, I downloaded Pellet 2.3.1 and imported the JENA libraries. Unfortunately, org.mindswap.pellet.jena.PelletReasonerFactory…
Median Hilal
  • 1,483
  • 9
  • 17
1
vote
1 answer

Inferring that two object properties are equal in OWL

Given an ontology O, and let A, B two classes and object properties P and Q such that: P domain A P range B A ⊑ =1 P.⊤ Q ⊑ P A ⊑ =1 Q.⊤ Thus, we to prove P ≡ Q, we only need show that P ⊑ Q,…
Median Hilal
  • 1,483
  • 9
  • 17
1
vote
3 answers

SWRL Tab and Jess Tab Support on Protégé 4

I need to add the SWRL Tab and the Jess Tab to my ontology on Protégé 4 but I could not find any support for Jess. Does Protégé 4 have any support or plugin for Jess, or there is any other substitute?
Ali Ahmad
  • 1,055
  • 5
  • 27
  • 47
1
vote
1 answer

How to get an individual which match an Objectproperty with Jena?

Let consider the following ontology, where PERSON, NAME, SURNAME and IDENTIFICATION are classes. NAME and SURNAME are subclass of IDENTIFICATION. hasSurname and hasName are functional ObjectProperty. hasValue is a DataTypeProperty with domain…
Fopa Léon Constantin
  • 11,863
  • 8
  • 48
  • 82
0
votes
1 answer

How to generate specific inference using owlapi?

I am working on this project which requires to perform ontology reasoning in code, so far I have written this rule. I am implementing this in java with the help of owlapi, and clarkparsia.pellet.owlapiv3.PelletReasoner. //dexpi:Pump(?pump) ^…
Satyam G
  • 3
  • 3
0
votes
0 answers

Build a Java function that does the same job as makeOWLThing in SWRL

Here's my SWRL rule. It states that if an operation exists and has an action, it needs to create a new variable h of type Hold, that hold the same action value as the operation: Operation(?op) ^ hasAction(?op, ?action)^ makeOWLThing(?h,…
user93804
  • 83
  • 8
0
votes
2 answers

How to use Pellet reasoner in OWL API

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 Queries. I need to reason this ontology using Pellet (As pellet supports SWRL and i have sed the…
Anzal Harris
  • 1
  • 1
0
votes
0 answers

Finding Protege + owl api + pellet ignazio1977 configurations

I have a set of ontologies for which I use the Pellet reasoner to reason over in Protege 5.5.0. The reasoner completes inference over the ontologies in 20 seconds. When I use the OWL API code implementation, it takes the Pellet reasoner 45 minutes…
user3168890
  • 1
  • 1
0
votes
0 answers

Why is Protege not able to infer all implicit axioms in one operation?

I use Pellet/Hermit to reason on the following family ontology and export all the inferred axioms to a new family ontology. Then I reason on the new ontology and export all the inferred axioms to another new family ontology again. New axioms are…
liubin0314
  • 1
  • 1
0
votes
0 answers

Stardog raises ConcurrentModificationException upon reasoned query on graph with SWRL Rules

When trying to execute a query with reasoning in a model, I get this error: 000012: com.complexible.stardog.plan.eval.operator.OperatorException: Uncaught error during query evaluation: ConcurrentModificationException Ontology model has 2 SWRL rules…
lore-f
  • 21
  • 6
0
votes
1 answer

OWLAPI: Reasoning over ontology with disjunctions

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). There is some way how can I infer that an individual has to be in one of the two classes from each…
IvetX
  • 1
  • 3
0
votes
1 answer

Problem with 'getInstanceExplanations' when using OWL-API and Pellet reasoner

I trying to get reasoning explanations using getInstanceExplanations method: Set> expIns = expGen.getInstanceExplanations(individual, Class); But I had this error: Exception in thread "main" java.lang.NoSuchMethodError:…
Bilal
  • 3
  • 2
0
votes
0 answers

Protege Pellet Reasoner with error but not HermiT

I used the HermiT Reasoner for some time but wanted to try the Pellet Reasoner. But Pellet throws an error on startup. The Log is not helpful: ERROR 22:28:49 An error occurred during reasoning: null. java.lang.UnsupportedOperationException:…
GrobMo
  • 51
  • 8
1 2 3
…
8 9