242 questions
2
votes
1
answer
123
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 ...
- 334
0
votes
0
answers
43
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
-1
votes
1
answer
51
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
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 ...
- 11
0
votes
1
answer
160
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
133
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
2
votes
1
answer
134
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
0
votes
0
answers
99
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 ...
- 23
0
votes
0
answers
100
views
Using a Property Chain with a reasoner is considered to be reasoning. Would it also be considered as reasoning if this is done via a SPARQL query?
We can define the followin property chain:
SubObjectPropertyOf(
ObjectPropertyChain( :hasParent :hasParent )
:hasGrandparent
)
And using a reasoner would add the hasGrandparent relation ...
- 667
1
vote
1
answer
114
views
Using Hermit Reasoner to check if an Ontology is Consistant
does anyone know how to use Hermit reasoner to check if the Ontology is inconsistent/consistent ?
i want to use it from command line and would be better if I can save the result in result.txt like ...
- 13
0
votes
0
answers
40
views
Check if a class is inconsistent in Konclude
I'm using Konclude reasoner .I know inconsistent Classes are shown in red in Protégé .How can I check if a class is Inconsistent in Konclude?
- 13
0
votes
1
answer
55
views
How to disply answer sets without facts
Please, can someone tell me how to display all the resulted answer sets in a logic program compiled with Clingo , without displaying the facts, i need to see only rules without facts.
- 1
1
vote
0
answers
46
views
OWL - associate transitive child with great-parent
I would like to simplify my SHACL definitions by reversing the relations between shapes, properties and groups.
A typical NodeShape looks like this. Two properties in a group:
<>
a sh:...
- 3,662
0
votes
1
answer
48
views
OWLKnowledgeExplorerReasoner - getObjectLabel always ends in error Unreachable situation
I am trying to access information about completion graph, but everytime it ends with error uk.ac.manchester.cs.jfact.helpers.UnreachableSituationException: Unreachable situation! when I call ...
- 1
2
votes
2
answers
614
views
OWL reasoning from command line with minimal dependencies
I have an OWL file in rdf/xml syntax which contains an asserted ontology. I want to apply an OWL DL reasoner to derive additional axioms. I know I could open the file in protegé and apply the reasoner ...
- 2,602
0
votes
1
answer
93
views
OWLAPI: Reasoning over ontology with disjunctions
I have an ontology with one individual a and 6 classes (A, B, C, D, E, F). Individual belongs to the following disjunctions: (A or B; C or D; E or F).
There is some way how can I infer that an ...
- 11
1
vote
1
answer
328
views
How to define advanced custom rule in GraphDb ruleset
Let's start from the begin.
There are some persons stored in graph database with predicates like birthDate, name, etc.
I'm currently trying to write custom rule which add some new fact for persons ...
1
vote
2
answers
77
views
Why is this Python function to sort integers contained as strings slower than this?
I have two python functions for sorting a list of integers contained as strings. They are follows:
import random
n = 10000000
unsorted = [str(x) for x in range(n)]
random.shuffle(unsorted)
def ...
- 367
1
vote
1
answer
205
views
Property Chains with assertions on intermediate nodes
I have a use case where I'm trying to infer if a specific user has admin access to a resource. I'm using GraphDB.
My ontology contains Users, Roles, Permissions and Resources. A User can have N roles. ...
- 25
2
votes
0
answers
205
views
Model OWL-class of individuals with a property containing a certain string, where string content is partly dependent on other individuals/other class
Here is a (crude) piece of OWL modelling concerning a template for a formal financial budget bill document of the Ministries in my country. It shows the class of a Budget Bill title, as a part of the ...
- 21
0
votes
1
answer
126
views
reason over a rather large ontology
I have a rather large ontology (about 80 GB). I think the reasoner brings the whole ontology into the memory for reasoning process, doesn't it?
is there any way to reason over a 80 GB ontology with 16 ...
- 3
0
votes
2
answers
1k
views
How to calculate no of matches in given days
We have 16 teams and 2 grounds. Both 2 grounds available for 60 min on Monday and 120 min on Tuesdays. That means 2 matches can be possible on Monday and 4 matches on Tuesday. If one team can not play ...
- 496
0
votes
1
answer
112
views
Reasoning over functions applied to lists of nat in Coq
We are working on verifying a system with three functions that looks like the following. However, we do not know how to proceed further with proofs like this. Actual definitions of the Coq functions ...
- 303
1
vote
1
answer
692
views
RDFS-Plus Reasoning for rdfs:domain and range in GraphDB
Consider two GraphDB repositories with different reasoning rulesets:
Repo A with ruleset "RDFS (Optimized)"
Repo B with ruleset "RDFS-Plus (Optimized)"
I executed the following ...
- 503
1
vote
1
answer
526
views
How to create a condition to obtain an automatic object property relation in Protege?
I'm doing a project in Protege on the ontology related to the university problem.
I have some classes and object properties relations between them:
As depicted, there are several classes and ...
- 13