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

OWL:Difference between object property function on individual vs class

Lets say an ontology is defined as: classA: rel1 some classB classB ------------------- individual_1 rel1 individual_2 individual_2 ------------------- objectProperty: rel1 rel1 domain :classA rel1 range: classB rel1 inverse of…
alex
  • 7,551
  • 13
  • 48
  • 80
2
votes
1 answer

OWL API: Traverse imported ontology

I'm trying to import an ontology to the primary ontology, and traverse over all classes: manager = OWLManager.createOWLOntologyManager(); ontology = manager.loadOntologyFromOntologyDocument(new File("data/prim.owl")); …
alex
  • 7,551
  • 13
  • 48
  • 80
2
votes
1 answer

Creating regex restriction on OWL class

I'm trying to create a simple ontology that has two classes: class1 and class2,- and two instances that have simple text data property with the same name (hasName: "string1"^^xsd:string and hasName "string2"^^xsd:string respectivly). I want to…
Андрей Барышников
  • 121
  • 1
  • 3
2
votes
2 answers

How can I transform the rules to SWRL code?

Let's assume we have the following rule: Course(?x), teacherOf(?y,?x), worksFor(?y,?z) => coursePresentedInUniversity(?x,?z) Is there any library in pellet or java to convert the above rule to SWRL code? for example, to the following:
Enayat
  • 3,904
  • 1
  • 33
  • 47
2
votes
1 answer

Cannot resolved class Reasoner in Pellet/OwlApi

I'm start to use Pellet to create a reasoner with my OWLApi application. As in the examples, I start with this code: Reasoner reasoner = new Reasoner( manager ); but Eclipse give me this error on "new Reasoner": The type…
Gabriele
  • 446
  • 1
  • 7
  • 19
2
votes
1 answer

Conflict of same individuals property and datatype property

I am having a problem with "same individuals property" in protege, when I run a reasoner (pellet 1.5 or fact++) Lets take ontology example thing has class sons A and B, A has sons C and D. B, C and D have individuals of the same class. Can't I say a…
blueomega
  • 281
  • 2
  • 15
2
votes
2 answers

Unable to download Pellet plugin for Protege 4.3

I wish to add the Pellet reasoner plugin to Protege 4.3. To do so I go to File-> Preferences -> Plugins -> Check for Downloads Now. However, I cannot find the Pellet reasoner plugin in there. I wished to have the Pellet reasoner since I wanted to…
scorpGoku
  • 118
  • 2
  • 10
2
votes
2 answers

Sparql query on restriction list (Equivalent To) in protégé

My ontology is about Cocktail. This is a cocktail named "AfterGlow" …
amdev
  • 3,010
  • 3
  • 35
  • 47
2
votes
2 answers

Monitoring Reasoning Progress using the Pellet Reasoner

I am currently constructing an OWL ontology, which - until very recently classified rapidly using the Pellet reasoner. However, since the introduction of several new classes, the reasoning performance has slowed to a crawl. Although the reasoner…
Nico Adams
  • 1,684
  • 13
  • 15
2
votes
1 answer

How can I connect pellet with C#? (Loading ontology in C#.)

I am running a Pellet 1.5.x server right now. I need to load an ontology in C# and do queries to the running server of Pellet. How do I do this? I also need to know how the queries are managed by Pellet (what are the structure of the queries), well…
user194839
2
votes
1 answer

swrl rules to infer dataProperty values

I'm trying to test a simple SWRL rule. There are three Classes in my ontology: LivingPlace which has two sub-classes RuralArea and City. LivingPlace is the domain of the dataProperty hasHospital which has the range boolean. When I test the…
user2139719
  • 21
  • 3
2
votes
3 answers

How can I do offline reasoning with Pellet?

I have an OWL ontology and I am using Pellet to do reasoning over it. Like most ontologies it starts by including various standard ontologies:
Seb Rose
  • 3,628
  • 18
  • 29
1
vote
1 answer

Protege 5: How can I infer a class membership of an individual through its data properties?

I've made an ontology in Protégé 5 using OWL/XML syntax. I have included a class Cerveza and another class Color among others. Under Color, I have 3 subclasess: Claro (pale), Medio (medium) and Oscuro (dark): I made a data property called EBC…
Naperiferia
  • 27
  • 6
1
vote
2 answers

OWL: inverse of a property

Let's say we have four properties : ObjectProperty: superProp1 InverseOf: superProp3 ObjectProperty: prop1 InverseOf: prop2 SubPropertyOf:superProp1 ObjectProperty: prop2 InverseOf: prop1 …
alex
  • 7,551
  • 13
  • 48
  • 80
1
vote
0 answers

Is there a way to calculate duration using xsd:dateTime in SWRL that pellet can reason with?

I'm trying to find a way to calculate the duration of an interval when given two xsd:dateTime values. Unfortunately, it seems that Pellet seems to only support 5 of the swrl builtins and none of the subtracting rules I've had luck with. i.e.…
topfoxrider
  • 143
  • 10
1
2
3
…
8 9