244 questions
Tooling
1
vote
2
replies
51
views
Reasoning on Oxigraph
I am currently implementing a datapipeline in rdf format. I have chosen to use oxigraph as my internalstore for the server.
I was wondering if there is some support for reasoning in Oxigraph or if ...
Advice
0
votes
1
replies
30
views
GraphDB reasoning with custom Ruleset
I want to use GraphDB's custom rulesets, described here.
I have written my own .pie file with my rules and uploaded it to my repository. Everything works as expected.
My problem is, that I do not want ...
- 61
1
vote
1
answer
247
views
Turn off Gemini's reasoning in DSPy
In my DSPy project, I am using Gemini 2.5 Flash, a hybrid model, as my lm. For some experiments, I want to turn off the reasoning capabilities. After looking in DSPy's and Gemini's docs, I still did ...
- 324
1
vote
1
answer
147
views
How does OWL2-RL handle date comparisons?
Is it possible to do "greater than date" that gets inferred by OWL2-RL in GraphDB? For ex: "Alice on date after 2024-02-10".
So for example:
:AliceTravelAfterToday a rdfs:Class ;
...
- 127
0
votes
0
answers
53
views
Logic Programming languages supporting multiple scenarios and what-if
Is there any LPL that supports tracking multiple fact scenarios, identifying those that have become inconsistent, and performing what-if tests?
All the versions of Prolog I have seen have only a ...
- 1,362
0
votes
0
answers
138
views
Apache Jena Fuseki Reasoning, online update and named graphs possible?
i can't find good answers or resources on if the following setup is possible in Apache Jena Fuseki:
The database should be updatable. I want to add rdf data while the server is running.
By uploading ...
- 23
-1
votes
1
answer
53
views
Verify all codes under one system has one name
Row 4&5 have same value in col C and also have same value in Col D (Correct)
Row 6&7 have same value in Col C but different value in Col D (Incorrect)
So all unique combination in ColA &B ...
- 151
1
vote
1
answer
128
views
Get the only solution based on given constraints using z3 theorem
I have a set of constraints:
Lane(l0) == True,
Lane(l1) == True,
OnComingLane(l1) == True,
LaneMarking(m1) == True,
LaneMarking(m0) == True,
SolidWhiteLine(m1) == True,
SolidWhiteLine(m0) == True,
...
- 41
1
vote
1
answer
66
views
Find what creates the inconsistency using OWLAPI
I am currently trying to learn how to use HermiT reasoner from the OWLAPI library. To understand more about it, I have created this INCONSISTENT to experiment on. If you are interested, I have upload ...
user23424056
1
vote
1
answer
81
views
Is there a difference in OWL between using inverseOf and propertyChainAxiom ([inverseOf <property>])?
Take the following statements as an example:
@base <http://ex.org/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
<hasPart> a owl:ObjectProperty .
<...
- 5,320
0
votes
1
answer
179
views
Inconsistencies in OWL classes
I am new to semantic technologies. I have created some OWL classes and running pellet reasoner to check for inconsistencies in the classes. This is a snippet of what I have created so far:
<owl:...
- 979
0
votes
1
answer
103
views
Exporting result of eye reasoner query into a file
I use Eye Reasoner as a reasoning engine for a set of facts and rules in N3 format. My question is how can I save the result of the Eye reasoner query into a file to use in the next step of my system?
...
- 103
0
votes
1
answer
152
views
How to generate specific inference using owlapi?
I am working on this project which requires to perform ontology reasoning in code, so far I have written this rule. I am implementing this in java with the help of owlapi, and clarkparsia.pellet....
- 3
0
votes
1
answer
114
views
OWL API, Hermit materialization
I have two questions:
What is the reasoner of OWL API? Is it Hermit?
So when I have:
OWLReasonerFactory reasoner_factory = new ReasonerFactory();
OWLReasoner reasoner = reasoner_factory....
- 3
2
votes
1
answer
138
views
ALC - Ontology consistency checking
I have to check whether the following ontology is correct using the ALC tableux algorithm.
A ⊑ ∃s.¬B
C ⊑ A ⊓ B
C(x)
C(y)
s(x,y)
So first i use C ⊑ A ⊓ B to label x and y with A and B. So x and y now ...
- 129