242 questions
- Bountied 0
- Unanswered
- Frequent
- Score
- Trending
- Week
- Month
- Unanswered (my tags)
2
votes
1
answer
169
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 ...
1
vote
1
answer
139
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 ;
...
0
votes
0
answers
46
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 ...
0
votes
0
answers
123
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 ...
-1
votes
1
answer
52
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 ...
1
vote
1
answer
123
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,
...
1
vote
1
answer
51
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 ...
1
vote
1
answer
72
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 .
<...
0
votes
1
answer
162
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:...
0
votes
1
answer
98
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?
...
0
votes
1
answer
149
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....
0
votes
1
answer
111
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....
2
votes
1
answer
135
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 ...
1
vote
1
answer
163
views
"Ignoring transitivity and/or complex subproperty axioms"
I'm trying to obtain to model a property that is transitive, asymmetric and irreflexive. I understand that OWL reasoning does not support for this complex relationship.
However, is there a way to &...
0
votes
0
answers
100
views
SWRL rules (or Jena rules) for reasoning on set
I am trying to write a SWRL rule that takes the facts :
Robot:robot1 hasSkill RobotSkill:location.
Robot:robot1 hasSkill RobotSkill:move.
Robot:robot2 hasSkill RobotSkill:location.
Robot:robot2 ...