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

Why is HermiT or Pellet Reasoner for Protegev5.5 is not detecting inconsistency in Ontology

I have used an object property O to relate Class A with Class B. I also have instance a and b of classes A and B respectively. I have used the same object property O to relate the instances a and b. Again, I have used the same object property O to…
Debashisenator
  • 1,621
  • 4
  • 17
  • 16
0
votes
1 answer

intersection of two class definition

classes a and b are defined as follows: as you see both classes have the axiom :prop2 some rdfs:literal I need to define class c based on a and b (e.g by using and , or, not) so that has this axiom as its definition.
alex
  • 7,551
  • 13
  • 48
  • 80
0
votes
1 answer

Cant get openllet running on Fuseki

yesterday i was trying to get Pellet and/or Openllet to run on my Fuseki Server. Im am doing Requests over the Web-Interface. Without reasoners its working fine. This is my configuration: @prefix : . @prefix tdb: …
Jan Ma
  • 31
  • 3
0
votes
0 answers

How to write snap SPARQL Query when using Pellet as reasoner

i learn ontologies for study purposes. Here i encontered problem when querying. i use pellet as reasoner, because i did some swrl builts-in here i has class named resep_makanan and i want to get all its instance so i write PREFIX owl:…
Astrid Noviana Paradhita
  • 1
  • 3
0
votes
1 answer

OWL: complementary behavior in equivalent class definition

In the following ontology we have eliminate Pizza in equivalent definition of VegaterainPizza. also domain of hasTopping is Pizza. after executing the pellet,the following result is deduced. I need to know why Pizza is equivalent to Thing and…
alex
  • 7,551
  • 13
  • 48
  • 80
0
votes
1 answer

Protege : Equivalent class definition issue

Seems there is a bug in Protege5. a sample ontology is defined as below:
alex
  • 7,551
  • 13
  • 48
  • 80
0
votes
1 answer

OWL cardinality restriction issue

As picture below depicted, a is a defined class has_relation min 2 b. Also c is a named class (has_relation min 1 b1) and (has_relation min 1 b2) pellet reasoner does not classify c as a subclass of a.what is wrong in the definition of c?
alex
  • 7,551
  • 13
  • 48
  • 80
0
votes
1 answer

SWRL - Unable to substract date time by duration

I'm trying to implement a rule that substract 1 years to a datetime and asign it to a data property using only SWRL I've got an entity Product which got a data property creationDate equal to 2019-07-15T00:00:00. My SWRL rule is the following…
Dauflo
  • 31
  • 1
  • 7
0
votes
0 answers

How to configure Protégé to perform Closed World Reasoning?

I want to validate instances against the minimum cardinality restrictions of my ontology. To do so, I have to perform Closed World Reasoning. According to several posts, Protégé supports such reasoning with Pellet reasoner. However, I could not…
Amina
  • 35
  • 7
0
votes
0 answers

scalability of OWL ontology (is it large or small)

I'm going to create an ontology, containing more than 500 000 simple facts, and reason it by Hermit or Pellet (it might get, saying, 1 000 000 facts). And I'd like to save the inferred results to a RDF datastore (in order to implement their…
geeknet
  • 57
  • 7
0
votes
2 answers

How to process SWRL rules using Openllet and OWL api?

I've been trying to set up a query printer a lot like this: https://github.com/owlcs/owlapi/wiki/DL-Queries-with-a-real-reasoner where if I give it a query in Manchester syntax I can get a response that mirrors what I would get back in protege. I…
topfoxrider
  • 143
  • 10
0
votes
1 answer

How do I fix this AbstractMethodError when I try to get Pellet working with OWL API?

I'm getting this error: Exception in thread "main" java.lang.AbstractMethodError at org.semanticweb.owlapi.OWLAPIServiceLoaderModule.lambda$loadFactories$1(OWLAPIServiceLoaderModule.java:97) at java.util.ArrayList.forEach(Unknown Source) at…
topfoxrider
  • 143
  • 10
0
votes
0 answers

In Pellet (Openllet) and Jena, how to change SWRL rules?

I have to run two sets of rules sequencely. Firstly, I run a set of rules, and get some results from the reasoning. Secondly, I want to run another set of rules based on the results from the first step. Can anyone tell me how to do so in JENA? Thank…
yangz
  • 53
  • 5
0
votes
2 answers

Virtuoso OWL 2 DL Reasoning

I have a Virtuoso server 7.20.3217 where I upload my data. According to Virtuoso documentation, Virtuoso supports basic owl reasoning such as rdfs:subClassOf or rdfs:subPropertyOf. What should I do in order to enable OWL 2 DL reasoning? Or even…
User 23
  • 163
  • 1
  • 14
0
votes
1 answer

Ontapi Runtime Error including openllet 2.6.3

Adding opellet 2.6.3 to Maven project including Ontapi throws the following error: Exception in thread "main" java.lang.NoSuchFieldError: TSV at ru.avicomp.ontapi.OntFormat.(OntFormat.java:61) at…
Discipulos
  • 423
  • 8
  • 23
1 2 3
…
8 9