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

Reasoning on ontology

I have some problem with reasoning: how can I retrieve the instance of a class if I load ONLY the TBox of an ontology? OWLOntologyManager manager = OWLManager.createOWLOntologyManager(); OWLDataFactory dataFactory =…
blinkettaro
  • 341
  • 6
  • 18
0
votes
1 answer

Checking Ontology Consistency in Run Time

I have a program that uses Jena to load an .owl Ontology designed in Protege. I am trying to do reasoning over it using Pellet in a way that if I add some statements in run time to model be able to check its consistency. For example I have 'Method',…
Kourosh
  • 91
  • 7
0
votes
1 answer

Pellet internalReasonerException in OWL API

Have been stuck one day and would someone be kind enough to help? I have loaded an ontology which imported SWEET(Semantic Web for Earth and Environmental Ontology). I did some SPARQL query on it, and I got such answer: "Object Property…
Julyana Lin
  • 21
  • 5
0
votes
1 answer

owl api - pellet used in osgi

I am trying to use OWL api and Pellet in an OSGI bundle. The bundle builds successfully but on runtime I am getting the following error: org.osgi.framework.BundleException: Unresolved constraint in bundle smp.lighting.client.osgi [2]: package;…
user1347280
  • 85
  • 1
  • 8
0
votes
1 answer

Struggle with OSGi dependencies for Pellet and OWL-API

I wrote a facade for the owl-api paired with the pellet reasoner to easily access an ontology. It worked quiet well. Then I tried to pack it as an OSGi Bundle and use it via an TrackerService from other services. The owl-api bundle needs guava and…
Stephan
  • 46
  • 2
0
votes
1 answer

Pellet reasoner crashes when classifying ontology with datatype restriction as pattern

I have an ontology that defines a new data type as pattern restriction on string type. This data type is then used as a property range restriction. Then a class is defined as a restriction on this property: @prefix : …
igor.br
  • 29
  • 7
0
votes
0 answers

Pellet Jena and OWL API Sparql query labels

I'm using Pellet with OWL API in order to populate the ontologies and Jena to make some query. The problem is that I don't obtain results when querying for labels. My Code is: reasoner=PelletReasonerFactory.getInstance().createReasoner …
Discipulos
  • 423
  • 8
  • 23
0
votes
1 answer

Does Pellet reason over the Property Reification vocabulary?

I have been struggling with adding property reification to my owl ontologies and I came across a proposal in the W3 wiki for Property Reification. I was wondering if Pellet (or any reasoner for that matter) is able to understand the vocabulary and…
Kunal Khaladkar
  • 493
  • 3
  • 16
0
votes
1 answer

How to use swrl builtin in owlapi with pellet?

I try to use swrl in java owl-api with pellet. I have looked at : owl2 and swrl tutorial test of builtin swrl in pellet and swrl definition I manage to use swrl for simple inference like : A(?x) -> B(?x) But I'm stuck when it is need to use…
Galigator
  • 8,957
  • 2
  • 25
  • 39
0
votes
1 answer

OWL2: Is it possible put Annotation on an ObjectIntersectionOf?

I know I can put annotations on a SubClassOf relation: SubClassOf( Annotation(rdfs:comment "This annotation is valid") ObjectIntersectionOf( ObjectHasValue(:prop1 :instance1) ObjectHasValue(:prop2 :instance2) ) …
Diogo FC Patrao
  • 38
  • 4
0
votes
0 answers

OutOfMemory in Protege when classifying ontology with Pellet

I've trouble on parsing of my ontology with Pellet in Protoge. I've loaded the SeDI ontology from http://bioportal.bioontology.org/ontologies/SEDI (submision 1.0) to Protege. When classifying this ontology with Pellet reasoner the progress bar…
igor.br
  • 29
  • 7
0
votes
2 answers

Import Pellet Reasoner into Jena

I am trying to import Pellet reasoner into Jena, the newest version of Pellet is 2.3.1 where I can't find any .jar file to be imported. Also, I followed the Wiki/FAQ to run the bash file in the release folder under Mac OS. The error message shown…
Ev3rlasting
  • 2,145
  • 4
  • 18
  • 31
0
votes
0 answers

Reading an Ontology with Jena In a Dynamic Web Project

So, I have a Java Project with Jena that reads an Ontology (With several imports) and I'm trying to port it into a Dynamic Web Project. The problem is that, in the DWP, the program cant read the ontology imports. I dont know why, but it always give…
LokiNkc
  • 55
  • 1
  • 9
0
votes
1 answer

Jena Sparql only return direct superclass of instance

I'm using Jena in Java with Pellet as the reasoner. Now I need to query the class of a specific URI, but the problem is is that I don't know before hand what kind of instance it is, in what kind of class hierarchy, so I can't use filter options.…
vincent kleine
  • 724
  • 1
  • 6
  • 22
0
votes
2 answers

Jena and Pellet search on label returns error

I've been at this for a few hours now, trying to get Pellet to work with Jenna. Now I finally got to the point it was working. Querying classes and inferenced classes is going well. For example: SELECT * WHERE { ?x rdf:type uni:Adult} However when…
vincent kleine
  • 724
  • 1
  • 6
  • 22
1 2 3
…
8 9