Stack Overflow
Stack Overflow

Questions tagged [reasoner]

The term 'reasoner' is usually applied to inference engines that infers logical consequences from facts and axioms written in ontology languages.

Example semantic reasoners are , and .

60 questions
0
votes
0 answers

OWL reasoner does not work for "min" cardinalities (but works for "some")

I am creating a simple ontology in Protege, there is a problem with reasoning over cardinalities. Below is the toy model of the ontology. There are three instances of A, B, and C, that each one has 1, 2 and 3 hasOwner property, respectively. There…
PitPartizan
  • 21
  • 3
0
votes
1 answer

How to use OWLReasoner to update an ontology

I'm new to the OWL API and I was wondering if there was a way to update an ontology with all the new relations picked up by the reasoner (HermiT). I couldn't find a tutorial or much documentation, so I assumed calling …
Bob Zee
  • 3
  • 4
0
votes
2 answers

Consistency checking using Hermit reasoner in Python for an Ontology

I am using owlready2 api for python to load an Ontology and check consistency for that ontology using the sync_reasoner() function. But it seems that it is not checking the consistency for the ontology. Although there is an error, it shows nothing!…
Bayzid
  • 105
  • 11
0
votes
1 answer

Equivalent class for transitive property

I have an object property partOf which is transitive. And I want to say that: a partOf Year then a is a Term b partOf Term then b is a Course And simultaneously: a partOf Knowledge_Group then a is a Knowledge_Area b partOf Knowledge_Area then b…
moondaisy
  • 4,303
  • 6
  • 41
  • 70
0
votes
0 answers

When is there a need to use a reasoner like jena when developing a knowledge-based QA system?

In my opinion : Query the answer from the RDF 3-tuples, if no answer ,then try a reasoner. Use the reasoner to complete knowledge graph off-line to save online query time.
pun
  • 1
  • 2
0
votes
1 answer

owl closing the world with OneOf

In the following Ontology I'm trying to make Boy the complement of Girl by using OneOf however using Fact++ or Hermit I'm unable to get any instances by querying for Boy (Protege 5.2 DL query), any suggestions? :Bob rdf:type owl:NamedIndividual , …
Koenig Lear
  • 2,366
  • 1
  • 14
  • 29
0
votes
1 answer

AI reasoning system

I'm wondering if there is any system/infrastructure able to do some human reasoning process, for example: Context: A is a pen Question: is A vertical or horizontal Reasoning process: 1. horizontal is anything parallel to the ground 2. A is parallel…
Zhenshan Jin
  • 379
  • 3
  • 10
0
votes
1 answer

Is SPARQL a reasoner?

I'm writing my master thesis about linked data in archives and I was wondering if you could help me with a question. I've read this book about LD and came along this sentence: SPARQL is the query language of RDF triple stores, but the query …
Xandyxoxox
  • 21
  • 1
0
votes
1 answer

Owl inference : How to get the class of Individuals after loading ontology

I have an ontology witch is created in protege, insid it : I have 2 classes ( teenager and adult ). I have the individual John with a dataProperty hasAge. In protege i get the class of john according to his age. ( so my ontology work well) Now i…
max
  • 1
  • 1
0
votes
2 answers

How to get the class of individual in OWL API

How to get the class of individual in owl with the reasoner OWLOntologyManager manager = OWLManager.createOWLOntologyManager(); OWLOntology ontology = manager.loadOntologyFromOntologyDocument(new StringDocumentSource(KOALA)); …
supp
  • 39
  • 2
  • 6
0
votes
0 answers

How to Get the value of Inferred Object Property in OWLAPI

I have an ontology created in Protege, with classes and properties and related instances for them. Considering one object property I want to find all the instances in the ontology sharing the same object property - to do that I did iterate through…
faro.L
  • 1
  • 3
0
votes
0 answers

OWLReasoner - How to get object properties that have a specified class as their domain?

Does OWLReasoner has a method that lets you get all object properties that have a specified class as their domain? For instance, given the below ontology city rdf:type owl:Class country rdf:type owl:Class isCaptialOf rdf:type…
HMCheong
  • 79
  • 1
  • 7
0
votes
1 answer

Reasoner in jena doesn't work

Ok I have a xml file that stores the superclass "SentenceFromUser" with the subclasses of some random questions (like "what do you do") (done with restrictions: hasWordOnFirst some what etc. (what is an individual) Then I have defined superclasses…
holyFackel
  • 71
  • 3
  • 11
0
votes
1 answer

Pellet owl api 2.4.0 and java.lang.NoSuchMethodError: org.semanticweb.owlapi.model.OWLObjectPropertyDomain

Using pellet-2.4.0, Getting the same error on running my application: Exception in thread "main" java.lang.NoSuchMethodError:…
Pallavi Karanth
  • 11
  • 2
0
votes
2 answers

OWL HermiT debug satisfiability check

I am using HermiT v1.3.8.4 with OWLAPI v3.5.6 and run into an issue where reasoner.isSatisfiable(clazz) runs forever. Is there a way to inspect what HermiT is doing, i.e., a way to get debug information? My current setup looks roughly like…
F Lekschas
  • 12,481
  • 10
  • 60
  • 72
1 2 3
4