Stack Overflow
Stack Overflow

Questions tagged [reasoning]

For questions relating to reasoning tasks that can be be performed by programming tools. To be used with relevant tool, language and environment tags. Not to be use for questions related to program logic or algorithms, or the act of human reasoning. Reasoning tools are based on either a rule engine, OWL, RDFS, and can be inclusions in tools such as Jena, Oracle Spatial, or add ons such as Pellet.

For questions relating to reasoning tasks that can be be performed by programming tools. To be used with relevant tool, language and environment tags. Not to be related to program logic or algorithms, or the act of human reasoning.

Reasoning tools are based on either a rule engine, OWL, RDFS, and can be inclusions in tools such as Jena, Oracle Spatial, or add ons such as Pellet.

Recent releases and modified reasoners:

  • Jena, a Java RDF API and toolkit (last modified: 19 January 2016)
  • ELK (last modified: 14 January 2016)
  • RDFSharp (last modified: 22 December 2015)
  • Stardog (last modified: 27 March 2015)
  • Blazegraph (Formerly Bigdata®) (last modified: 18 February 2015)
248 questions
1
vote
1 answer

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 SPARQL INSERT in both these repositories: PREFIX rdfs:…
Aljosha Koecher
  • 443
  • 6
  • 17
1
vote
1 answer

OWL reasoning based on subset of relationships

I have the following example instance of the Brick.ttl buildings ontology @prefix : . @prefix brick: . @prefix owl: . @prefix rdf:…
David Waterworth
  • 2,214
  • 1
  • 21
  • 41
1
vote
1 answer

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 relations. My issue is, how (and where) to write the…
zaqaze
  • 13
  • 2
1
vote
1 answer

GraphDB custom ruleset for inference over RDF* statements

I am trying to add a simple rule to the builtin RDFSPlus (Optimized) ruleset to be able to have GraphDB generate inferred (implicit) statements from RDF* assertions. Specifically, referring to GraphDB example here…
fventuri-work
  • 21
  • 3
1
vote
1 answer

Reasoning when adding new triples in a named graph in Jena Fuseki

I'm trying to use Jena Fuseki's API to create a FusekiServer using an OWL model, wrapped in a Dataset. I would like to make OWL inferences happen when adding new triplets to this Dataset (using SPARQL) while still being able to create named…
mgc
  • 5,223
  • 1
  • 24
  • 37
1
vote
0 answers

Protege OWL Calculate the sum of a property of the children of a class

in my ontology i got a Recipe-Class which got multiple "children", which are of the class Food. Those foods have Nutritions (protein, carbs, fats...). Recipe->Food->Nutrition->NutritionAmount Is it possible to calculate the sum of the proteins of…
Jan Ma
  • 31
  • 3
1
vote
0 answers

Build Reasoning System in Python for Procedure recommendations

I want to develop a reasoning system that would provide steps/procedures to resolve a issue that a user is facing. examples: if a user types "please reset my password" the reasoning system should search in the knowledge if it has steps for…
Rohan Khurana
  • 91
  • 8
1
vote
1 answer

Neo4j reasoning alternatives to Prolog

I am working on a project that makes use of Neo4j. Cypher is used for queries, and Prolog for reasoning (after translation from Neo4j model). Is there any alternative to Prolog for reasoning that does not need a translation step from Neo4j?
EagleOne
  • 541
  • 1
  • 10
  • 28
1
vote
1 answer

OWL API removes empty lines from a multiline comment

I tried to codify the following comment using OWL API: CRECK Modeling Group (Politecnico di Milano)http://creckmodeling.chem.polimi.it/ Primary Reference Fuels (PRF) + PAH…
Feroz Farazi
  • 31
  • 1
  • 4
1
vote
0 answers

Protege: reasoner HermiT won't complain about unmet assertion; why?

I would be thankful for some explanation to the following. I have created an ontology with Protege with a class that contains something like: hasResult exactly 1 AccelerationDate in its SubClass Of definitions. Now when I create an individual of…
Wolfone
  • 1,276
  • 3
  • 11
  • 31
1
vote
2 answers

GraphDB Non-monotonic Reasoning?

Does GraphDB offer configurability on materialization strategies to allow for non-monotonic entailment? I.e. adding new explicit statements to the graph might require retracting existing implicit statements that were already inferred based on…
Anuj Khanna
  • 51
  • 2
1
vote
1 answer

Why does DigitalOcean use uuid for user id and integers for Droplet id?

I'm building a REST-API and while I was researching for what id type to give certain objects I saw the DigitalOcean API Documentation. The objects: volume, volume snapshot, certificate, domain, firewall and load balancer are all having a string…
RoboFlax
  • 135
  • 3
  • 14
1
vote
0 answers

How can I query individuals which are reasoned from a class with sparql wh

I have started the Fact++ reasoner in Protege and now I want to query the reasoned individuals from this class C. SELECT ?x WHERE { ?x rdf:type ex:C.} This query does not give any result. Can I query rasoned content from sparql in Protege or does…
user3352632
  • 617
  • 6
  • 18
1
vote
2 answers

reasoning in belief network with prolog

I have a problem in Prolog for my final project. I try to reason about train system disruption pattern using bayesian network and prolog. I have bayesian network looks like following figure : Bayesian Network Picture I read on books Prolog…
yunitarp
  • 13
  • 4
1
vote
1 answer

How do I get a Negative Object Property Assertion inferred?

I am working in an ontology, and I have the following swrl rule: User(?u) ^ Project(?p) ^ isRelatedTo(?u, ?p) ^ isMemberOf(?u, ?p) -> verifiedAssociation(?u, ?p) And I would like to know when a Negative Object Property Assertion happens (when…
Maria Luiza
  • 27
  • 5
1 2 3
…
16 17