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
1
vote
1 answer

How to define semantic reasoning path and area on ontologies based on RDF with pellet reasoner?

I created a complex ontology that represents a product structure. I defined the most rules to describe configuration of the product (if you use Part A1 you can't use Part B1 --> you have to choose Part B2 or Part B3). Now I create a product by…
Grapheneer
  • 897
  • 8
  • 25
1
vote
1 answer

How to reproduce rules in Pellet reasoner

I'm working with graphDB (ontotext data base graphs) and I would like reproduce in graphDB (.pie file) the behaviour of Pellet reasoner in Protege. In this way, I want to get in graphDB the same behaviour that I have in Protege. I have implemented…
Sergio
  • 81
  • 9
1
vote
1 answer

What's the use cases of rule engines in Protege?

When writing new rules in Protege with SWRLTab and SQWRLTab, we define constrained rules in SWRL and query with SQWRL by using semantic reasoners such as FaCT++, Pellet, ..., or rule engines such as Drools or Jess. But because Protege limits its…
c2416726
  • 69
  • 4
1
vote
1 answer

Understanding Universal Quantification in Protege with Pellet and HermiT

I am new to Protégé so I have a very basic question. I have the classes Child and Parent. Child has the subclass Girl. child1 has the type Girl, child2 has the type Child and anna and peter have both the type Parent. In addition, there are the…
marli
  • 529
  • 10
  • 19
1
vote
1 answer

SWRLb - greaterThan and lessThan triggered

I have a problem using SWRL rules. I have a robot that should notify a human in case of two abnormal situations. For my test case I use the tension of a user: if the tension is less than 14, then the robot alert that the tension is…
user3484387
  • 13
  • 3
1
vote
2 answers

Fuseki how to add Pellet reasoner

I want to use pellet reasoner with my Fuseki 2.3.1 First: I added Pellet reasoner to my config.ttl as this: ja:reasoner [ ja:reasonerClass "org.mindswap.pellet.jena.PelletReasonerFactory";] So now I have to add the jar for Pellet to…
Ania David
  • 1,168
  • 1
  • 15
  • 36
1
vote
1 answer

How to correctly import Pellet 2.3.0 in Jena 3.0.1 (Eclipse)?

I am trying to import Pellet 2.3.0 reasoner in Jena 3.0.1 (working in Eclipse). To do so I have read all the similar questions here (although some are outdated) and the FAQ in the Apache Jena website. Using their code I always get an error in the…
Mandy
  • 21
  • 6
1
vote
1 answer

How to enable Pellet in Protege 4.3.0?

It's almost a year since Unable to download Pellet plugin for Protege 4.3 suggested that it's not available for this version. Has anything changed?
gsamaras
  • 71,951
  • 46
  • 188
  • 305
1
vote
1 answer

Pellet + Jena + SPARQL + com.hp.hpl.jena.query.QueryParseException: Encountered " "rdfs:domain

The problem I got is com.hp.hpl.jena.query.QueryParseException: Encountered " "rdfs:domain. Here is what I did. I use OWL API to read xml/owl document and use Pellet to reason. As I want to do some SPARQL queries in addition to reason, I…
Julyana Lin
  • 21
  • 5
1
vote
1 answer

Why has Pellet inferred an inconsistant "Nothing" subclass with infinite "Entailment" justifications?

I'm learning OWL 2.0 using Protégé 4.0 and Pellet 2.2, and I'm trying to understand underlying concepts progressively. So, starting with class hierarchies, I made one class "Cat" as a SubClassOf "Things". If I start Pellet, everything works fine,…
user5730831
1
vote
1 answer

Can a semantic web Ontology have the same expressivity but a different profile?

I'm analyzing some ontologies with the pellet reasoner, but I'm getting some strange results. When I perform the "pellet info" method on an ontology, and compare the OWL Profile to the DL Expressivity, I sometimes get ontologies that have different…
Aeschylus
  • 645
  • 1
  • 6
  • 11
1
vote
2 answers

Disable OWL API logging messages

I'm using OWL (version 4.0.2) e Pellet (3.0) to populate an ontology and then use SWRL rules to infer new facts. But some jar in OWL API is printing a huge amount of message while I try to make inferences and no result is showed in the end - in…
Mitch Souza
  • 21
  • 4
1
vote
1 answer

manipulate an ontology with pellet

I've built an ontology using protege4, and I want to manipulate with java. I tried that, using pellet reasoner. But I have some errors. Exception in thread "main" java.lang.NoSuchMethodError:…
Makolle Jeanne
  • 11
  • 2
1
vote
2 answers

Save Pellet inferences using OWL API

i'am using the last version of pellet reasoner with OWL API: OWLOntologyManager manager=OWLManager.createOWLOntologyManager(); OWLOntology fist_ontology=manager.loadOntologyFromOntologyDocument......... ................ OWLOntology…
Discipulos
  • 423
  • 8
  • 23
1
vote
1 answer

OWL API save ontology if reasoner is consistent and changes occurred

I have an ontology that I need to save on file if and only if some changes occured and the reasoner (pellet in my case) is consistent with these changes. So i write: reasoner.flush(); //sync reasoner if(reasoner.isConsistent()) …
Discipulos
  • 423
  • 8
  • 23
1 2
3
…
8 9