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
0
votes
1 answer

Jena; Domains and Ranges for a property differs upon selected Reasoner

Using Jena, I am trying to get domains and ranges for a property. Let's consider the following ontology @prefix : . @prefix owl: …
Median Hilal
  • 1,483
  • 9
  • 17
0
votes
1 answer

Jena; listDeclaredProperties semantics

Let's consider a (1) P Domain CSuper (2) CSub subClassOf CSuper Using Jena, I'm trying to list the declared properties for CSub. What I believe is that P mustn't be listed as a declared property for CSub. My justification: P is a declared property…
Median Hilal
  • 1,483
  • 9
  • 17
0
votes
1 answer

OWL Properties domain and range inheritance semantics

Actually, I'm getting lost with domain and range semantics when a subsummption exists, in addition to restriction inheritance between class taxonomy members. Please see the following cases. Let's consider (1) hasCar Domain driver (2) driver…
Median Hilal
  • 1,483
  • 9
  • 17
0
votes
0 answers

SPARQL DELETE: not possible in jena/pellet?

I am working on ontology reconciliation between two ontologies. I apply the jena/pellet platform, locally, and apply sparql rules as much as possible. For inserts this is successful, for deletes it is not, no matter what I try. This raises the…
Paul Brandt
  • 11
  • 4
0
votes
0 answers

DELETE fails using Fuseki 0.2.6 and Pellet 2.3.1

I am forced to include the external reasoner Pellet with my Fuseki server. So far everything works nice, despite the fact, that I am not able to delete triples containing a literal such as a String or an Integer. My setup: Fuseki 0.2.6 configured…
Mitch S
  • 1
  • 1
0
votes
1 answer

Protege DL query; This reasoner only supports named classes

I have an OWL ontologyin Protege 5. When trying to ask some DL queries DropOff exactly 1 This should return all classes that are related by means of exactly to-one cardinality by objectProperty DropOff. Using Pellet reasoner, an exception raises…
Median Hilal
  • 1,483
  • 9
  • 17
0
votes
1 answer

Pellet reasoning over XML Literals

I am using Pellet reasoner with Jena. I inserted some data into a TDB store. I have also schema ontology in a file and Jena rules as well. I layered the Generic rule reasoner and Pellet. However, am getting inconsistent ontology error due to literal…
alem
  • 5
  • 2
0
votes
2 answers

how to find the most specific class for an individual with pellet+owlapi

I want to perform classification with ontology and pellet reasoner. Pellet has a function(namely realization()) to find the most specific for an individual. I have tried but it doesn't work, could anybody provide some help or give me some examples.…
ryyral
  • 3
  • 1
0
votes
0 answers

How to add Datalog rules to Pellet reasoner in Jena?

I've multiple personal inference rules in Datalog Form. I can extend Jena GenericRuleReasoner in order to take them into account during the inference step. Here is an example of code to do that : String rules = "[r1: (?e1 st:runningTask…
Fopa Léon Constantin
  • 11,863
  • 8
  • 48
  • 82
0
votes
2 answers

How to find groups logically equivalent concepts using Pellet?

In fact, I make an ontology defined on OWL2 language using java prgramation with OWL API. I integrate the required jar in my project to use the inference engine Pellet. My question is how I detect in my ontology groups of concepts that are logically…
user3503945
  • 7
  • 4
0
votes
2 answers

Assigning a value to a property based on a SWRL rule (Protege 4.3 with Pellet as reasoner)

My question is related to SWRL rules and actually was already asked by another user (see Ontology property definition in Protégé-OWL / SWRL). Still, after following the instructions on how to get it to work, I was not successful. In my ontology I…
Sabina
  • 306
  • 1
  • 4
  • 6
0
votes
1 answer

owl override property restriction in subclass

My task is to construct two classes in owl. The Base class describes resources that contain several properties e.g. p1, p2 and p3. The other class, the Sub, shall describe resources similar to the Base class with the restriction, that they do not…
igorbr
  • 35
  • 5
0
votes
1 answer

How to use SWRL rules on Protegé 4.3 using Pellet

I've just started doing work on ontologies with Protegé and I'm trying to understand how to use SWRL rules. I'm afraid I don't get the concept or how to correctly treat them, as I'm not able to produce any output. I'll explain a bit more a simple…
jmnavarro
  • 147
  • 7
0
votes
1 answer

Pellet Reasoner with Jena + PermGen spaces

I am running Pellet with Jena as the following: public void storeInferredModel(Data data) { System.out.println("creating inferred dataset "); Dataset dataset = TDBFactory.createDataset(data.getInferredResultsPath()); …
Dr.AdeeB
  • 31
  • 1
  • 4
0
votes
0 answers

Pellet Reasoner with Jena

I am running Pellet with Jena as the following: public void storeInferredModel(Data data) { System.out.println("creating inferred dataset "); Dataset dataset = TDBFactory.createDataset(data.getInferredResultsPath()); …
Dr.AdeeB
  • 31
  • 1
  • 4
1 2 3
…
8
9