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
11
votes
2 answers

In Semantic Web, are OWL EL, RL, QL all instances of DL? What is the difference? More inside

I'm using the pellet reasoner on a number of ontologies and have run the info method on a list of IRIs (in this case URLs). The two metrics that interest me are the DL Expressivity and OWL Profile. The OWL Profiles I'm getting range from "OWL 2,"…
Aeschylus
  • 645
  • 1
  • 6
  • 11
5
votes
1 answer

SPARQL search for xsd:integer only, no decimals

Using the following query: PREFIX rdf: PREFIX owl: PREFIX rdfs: PREFIX xsd: PREFIX uni:…
vincent kleine
  • 724
  • 1
  • 6
  • 22
5
votes
1 answer

Property chain reasoning over rdf:type

I am trying to get Pellet to propagate properties from classes down to the individuals belonging to those classes. For example, if I have Class A with Property X, and Individual B with rdf:type=Class A, I want Individual B to have Property X after…
Marc W
  • 19,083
  • 4
  • 59
  • 71
4
votes
1 answer

How to use Openllet OWL2 reasoner (or any other) with Jena TDB?

I have already found a way to infer the contents of the triple store using Openllet reasoner and Jena TDB, but it does not seem optimal. Here is my solution: Reasoner reasoner = PelletReasonerFactory.theInstance().create(); InfModel infModel =…
vladek
  • 577
  • 1
  • 4
  • 17
4
votes
1 answer

HermiT does not seem to show inferenced DataProperties ?

I created an ontology using Protege, and added SWRL rules, using Hermit Reasoner, everything was fine, but it does not show inferenced DataProperties. I tried using Pellet, it was able to inference DataProperties, but, all my SWRL rules i created…
Mahdi Zouch
  • 95
  • 5
4
votes
1 answer

OWL and DL Reasoning: Why is Eros not beautiful?

I have created an ontology based on: Every person is beautiful if one of his/her parents is beautiful Aphrodite is a parent of Eros Aphrodite is beautiful thus we would expect Eros to be beautiful too! However, the Pellet reasoner doesn't…
gsamaras
  • 71,951
  • 46
  • 188
  • 305
4
votes
1 answer

How to Get Only Inferred Data from Jena Ontology Model

Trying to list only the knowledge(new triples) by using PelletReasoner through Jena interface. I want only inferred data which is generated after applying the Pallet Reasoner and InfModel from ontology(OWL). Currently, I am listing all the…
Vatsal Shah
  • 153
  • 5
4
votes
2 answers

Using SWRL with Jena and Pellet

I was unable to find some decent simple code examples of using SWRL and Jena with Pellet, or at least using SWRL? I have studied some examples in Pellet documentation, but there is no example about using SWRL. Most examples on the web are…
Ali Ahmad
  • 1,055
  • 5
  • 27
  • 47
3
votes
2 answers

Pellet doesn't include my SWRL rules

I build an ontology which uses SWRL rules to inference. When I do a SQWRL querying in Protege it works fine. The problem is, when i want to use Pellet with Jena, it seems like Pellet doesn't include the SWRL rules in the querying. I include Pellet…
Viktor
  • 93
  • 6
3
votes
1 answer

How to add SWRL rules to an Ontology using Java or pellet?

Instead of using Protégé to add rules to my ontology, I want to use Java or pellet to add SWRL rule to the ontology. For example, this is the rule that I want to import into my ontology: [Course(?x),teacherOf(?y,?x),worksFor(?y,?z)] => …
Enayat
  • 3,904
  • 1
  • 33
  • 47
3
votes
3 answers

Does the order of the triples in a sparql query affect the result?

I'm making an sparql query using pellet and I'm getting different results according to the order of the triples in the query, it's that correct? For example, given the following N-Triples data input: …
j0hn
  • 31
  • 2
3
votes
1 answer

Reasoning with Pellet on SWRL rules in Jena Framework

I am trying to use Jena framework to edit an existing ontology built with Protoge 4.2. i.e. to change property values or add individuals or classes and then do reasoning. Assume in the ontology we have a rule such that:…
Hasti
  • 239
  • 1
  • 3
  • 17
3
votes
1 answer

OutOfMemoryError using Pellet as Reasoner

I'm trying to infer data using Pellet, but my application always crashes during reasoning due to an "OutOfMemoryError: Java heap space". As suggested elsewhere I have already tried to increase heap size and currently I am using these VM arguments:…
Pedro
  • 4,100
  • 10
  • 58
  • 96
2
votes
2 answers

What flavors of reasoning are supported in VOS?

What kind of OWL profiles are supported in VOS DL, EL, QL ,RL? Is is possible to use or integrate standard reasoners? (Hermit, Pellets, etc.)
Ric
  • 65
  • 9
2
votes
1 answer

protege reflexive property usage

In protege a reflexive property is assigned to all individuals relgardless of domain and range and the class to which individuals belongs. so what is the use of this restriction? P.S: lets say there is three individuals: NamedIndividual( :John…
alex
  • 7,551
  • 13
  • 48
  • 80
1
2 3
…
8 9