pellet

问题 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 following line: OntModel model = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC); Jena works fine and I have tested it. What I guess is that I haven't imported the right jar files for Pellet. I cloned the whole Pellet repository from

问题 I'm using the pellet reasoner on a number of ontologies and have run the info method on a list of IRIs (in this case URLs). The two metrics that interest me are the DL Expressivity and OWL Profile. The OWL Profiles I'm getting range from "OWL 2," "OWL 2 DL," "OWL 2 EL," "OWL 2 QL," "OWL 2 RL." When is says "OWL 2," does that mean the ontology is OWL 2 full? Are all the other variations DL? I have found a spec describing the different profiles (table 10 especially) [as a new user I can't post

问题 Let's consider a (1) P Domain CSuper (2) CSub subClassOf CSuper Using Jena, I'm trying to list the declared properties for CSub . What I believe is that P mustn't be listed as a declared property for CSub . My justification: P is a declared property for CSub , iff CSub is a domain for P , from (1) CSuper is a domain for P which doesn't imply that CSub is also a domain; (1) means that if (x, y) is P , then x is CSuper , clearly x may (not) be CSub . The surprising thing is that Jena is listing

问题 I am running Pellet with Jena as the following: public void storeInferredModel(Data data) { System.out.println("creating inferred dataset "); Dataset dataset = TDBFactory.createDataset(data.getInferredResultsPath()); System.out.println("creating OntModel "); OntModel Infmodel = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC, dataset.getNamedModel(this.URL)); System.out.println("adding schema (OWL) to OntModel"); Infmodel.add(this.owl); System.out.println("adding data (RDF)

问题 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, but if I DL query "Cat", I have Directsubclasses "Nothing" and Subclasses "Nothing" appearing in red. What does it mean? Why is it red? Justifications are like : Explanation for: Nothing SubClassOf Cat <Entailment1252345325436>SubClassOf Nothing and

问题 This question already has an answer here : How to enable Pellet in Protege 4.3.0? (1 answer) Closed 3 years ago . 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 add some SWRL rules containing SWRL math built ins (e.g. swrlb:mod built in). Furthermore, with HermiT reasoner 1.3.8 there is an error

问题 I have created an ontology based on: Every person is beautiful if one of his/her parents is beautiful Aphrodite is a parent of Eros Aphrodite is beautiful thus we would expect Eros to be beautiful too! However, the Pellet reasoner doesn't seem to infer that. If I manually put the type of Eros to successful, it will accept it, but shouldn't it infer it? My ontology lies here (change the extension to .owl). I am also providing screenshots from Protege: Class hierarchy: Eros: Inferred class

问题 I'm trying to infer data using Pellet, but my application always crashes during reasoning due to an "OutOfMemoryError: Java heap space". As suggested elsewhere I have already tried to increase heap size and currently I am using these VM arguments: "-XX:MaxPermSize=256m -Xmx6144m". Furthermore I've to set 'PelletOptions.USE_CONTINUOUS = true', but so far I was only able delays the crashs for some minutes. (Longest run so far: 30 min.). I am storing data in a Jena TDB triplestore. Its total

问题 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 following rule with Pellet reasoner, the individual I created as a member of LivingPlace is also inferred as a member of RuralArea. LivingPlace(?lp), hasHospital(?lp, false) → RuralArea(?lp) However, what I really want to do is the reverse of this reasoning

问题 I was unable to find some decent simple code examples of using SWRL and Jena with Pellet, or at least using SWRL? I have studied some examples in Pellet documentation, but there is no example about using SWRL. Most examples on the web are incomplete and confusing. The only solution I found was with the Jess Rule Engine but it is not free and is under commercial license. I found that Pellet support SWRL rules but could not find running example. The only example I found is this, but I do not