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
8
votes
3 answers

How to reason or make inferences in Neo4j?

I created a semantic Graph in Neo4j. Is there any possibility to use an OWL reasoner in Neo4j? Or any inference engine? Though it has been mentioned here i can't find any solution or API for this. Thankful for any advice!
Grapheneer
  • 897
  • 8
  • 25
5
votes
1 answer

Use HermiT in Python

We have an ontology but we need to use the reasoner HermiT to infer the sentiment of a given expression. We have no idea how to use and implement a reasoner in python and we could not find a good explanation on the internet. We found that we can use…
K. Project
  • 112
  • 7
4
votes
1 answer

HermiT does not seem to show inferenced DataProperties ?

I created an ontology using Protege, and added SWRL rules, using Hermit Reasoner, everything was fine, but it does not show inferenced DataProperties. I tried using Pellet, it was able to inference DataProperties, but, all my SWRL rules i created…
Mahdi Zouch
  • 95
  • 5
3
votes
0 answers

how can i add reasoner to fuseki server?

I am too new to this concept, i don't know how to add the reasoner to my files,query execution is given me a wrong answer for sure and i don't find a good resource to explain how so please help. here is my configuration ttl file @prefix : …
H. H
  • 103
  • 9
2
votes
1 answer

owlready2 reasoner does not generate inferred object property assertions with a SWRL rule

Suppose an OWL ontology contains the following SWRL rule: has_part(?x, ?y) ^ participates(?x, ?z) -> participates(?y, ?z) and following object property assertions: o1 has_part o2 o1 participates p1 When I run the Hermit reasoner in Protege, I…
HMCheong
  • 79
  • 1
  • 7
2
votes
0 answers

Transitive inference with OWL-RL on RDFLIB

I am trying to use an OWL reasoner on an RDF graph which I have created using rdflib as follows: ex = Namespace('http://example.org#') g = Graph() g.bind("ex", ex) g.add((ex.Bob, ex.drives, ex.Car)) g.add((ex.Car, RDF.type,…
Joel Oduro-Afriyie
  • 1,563
  • 14
  • 13
2
votes
0 answers

Description Logics UTF-8 parser

Trying to deepen my comprehension of OWL and Description Logics, I'm disappointed I cannot find a Description Logics parser which could convert DL to a web ontology syntax ("DL German syntax" if I'm not wrong). For getting acquainted with the…
jgran
  • 1,111
  • 2
  • 11
  • 21
2
votes
1 answer

Valid xsd:DateTimeStamp Literal value in owl

I have included into my ontology a specific data property which is of type xsd:DateTimeStamp as I am looking into this website which provides examples of supposedly acceptable literal values of that format…
GGEv
  • 843
  • 9
  • 23
2
votes
0 answers

How to count triple number using jena fuseki reasoner?

I'm writing a rule file(Fuseki Generic Reasoner) expecting to count rdf objects number of a certain subject so I can use the number to decide whether to make a new triple. However, I cannot find a feasible approach to deal with it. Using sparql, it…
Yunfeng Wang
  • 31
  • 4
2
votes
0 answers

Solve inconsistencies in an OWL ontology

(Thanks of the comments, I am updating my code and question. Maybe it will be useful for others.) Update I am doing several edit processes in one ontology, at the end, I realized my ontology is inconsistent. Now I should get rid of all the…
Sami
  • 109
  • 2
  • 6
1
vote
0 answers

Inferring Subclasses from Property Restrictions

I am trying to understand the cases where OWL classes "overlap" based on existential property restrictions. No Intersection Here there's no overlap in the number of name properties each class has, so there can be no individuals that belong to both…
Spencer Crosswy
  • 21
  • 1
1
vote
0 answers

Inferring the existence of individuals using Protege

I am trying to infer the existence of individuals in Protege, and can use some help. Consider the following ontology as the example scenario: Persons may be siblings. If they are siblings then they have at least one mutual/common parent. I defined a…
AviShaked
  • 11
  • 1
1
vote
0 answers

Define Cardinality in OWL across different properties

Is there a way to define the cardinality in OWL across several properties? The usual syntax would be property min number class. I would like to do (property1, property2) min 2 class. Example: I have a sender with several characteristics (Assistance,…
very_interesting
  • 335
  • 1
  • 2
  • 11
1
vote
0 answers

Does dotNetRDF's RDFS Reasoner support multiple Superclass Type Inference?

i observed that when using the StaticRDFSReasoner or just the RDFSReasoner and if i have a Schema like this(TURTLE Notation): ex:A a rdfs:Class; rdfs:subClassOf ex:B, ex:C . And data like this with an Instance 'a' of class A: ex:a a…
Alb
  • 11
  • 3
1
vote
0 answers

Implement Fact++ reasoner in OWLAPI5

How can I add Fact++ reasoner in my OWLAPI5 Application? I added Fact++ dependency in pom.xml but when I run, I received this Exception: Exception in thread "main" uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException: …
Ritulla
  • 33
  • 3
1
2 3 4