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 rules in GraphDB but I'm not sure how reproduce the Pellet behaviour. I have read about OWL-DL and DL semantics (Pellet is build on that language) but I'm not find rules that implements and how reproduce it in GraphDB.
Any idea to reproduce that behaviour??
thanks
You can not reproduce in GraphDB precisely the same behavior like in Pellet or the opposite direction either. Pellet and GraphDB (formerly known as OWLIM) use two absolutely different reasoning approaches. GraphDB by design is a database limited to only tractable fragment so the loading time, where all inference happens, stays predictable.
The diagram bellow gives a high-level summary how the different semantic fragments overlap.
- How would you model that a potential relationship exists between two classes, but doesn't always?
- Difference between OWL, RDF, TTL
- what does the @prefix do in sparql?
- writing an swrl rule that checks if an individual with some condition doesn't exist then infer something
- When defining a class in OWL, how to constrain that an object property must refer to the same individual as another object property?
- Can you assert an object property based on the property of another individual using the OWL 2 Functional-Style syntax?
- How to create data property of type URL in protege
- Does SWRL Protege Drools engine infer knowledge from owl:equivalentClass?
- Can disjoint classes in an ontology share the same data properties?
- Protege import schema from schema.org
- Missing SWRL tab in Protege 4
- Creating New Classes and Individuals with SWRL in Protege
- How to generate specific inference using owlapi?
- Not able to get all subclasses from Protégé query
- Ontology property definition in Protégé-OWL / SWRL
- OWL: Create a class definition that has multiple object properties that need to be related?
- OWL negate object property
- OWLViz not displaying diagram centrally
- "Ignoring transitivity and/or complex subproperty axioms"
- Ontology where the same word has different meaning in different contexts?
- Accessing values from definstances in CLIPS
- How to use Qualified Number Restrictions in Protege for OWL
- Jess rule definition
- Sparql Query for every Individual with specific label
- How assert data property for classes in Protege?
- isA relationship: how can we model it in protege? What is its difference with Instance?
- Protege - DL Query and subclasses
- What is data range expression protege?
- Modelling class as complement / negation of Parent Sibling Class OWL/Protege
- OWLAPI access objectProperty value in a superClass axiom