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

Mixed chaining algorithm (combining forward & backward chaining)

There are 2 types of mixed chainings: Mixed Chaining with priority to backward chaining Only resort to forward chaining when unable to backward chaining. Mixed Chaining with priority to forward chaining These techniques should be used for…
MiP
  • 5,846
  • 3
  • 26
  • 41
0
votes
2 answers

Get representative classes from an OWL "or" class expression

I have 3 classes: Reptile, Mammal and Cat, with Cat is a subclass of Mammal. I have an "or" class expression: Reptile or Mammal or Cat How can I infer with a reasoner to get the most representative classes for any given "or" class expression? Like…
MiP
  • 499
  • 1
  • 7
  • 16
0
votes
1 answer

Test whether a OWL class is a domain/range of a property

In the example hasProperty from owl-api repository: To test whether the instances of a class must have a property we create a some values from restriction and then ask for the satisfiability of the class interesected with the complement of this…
MiP
  • 499
  • 1
  • 7
  • 16
0
votes
0 answers

Where to find Rules Files for different OWL and RDFS Profiles?

as I understand, you can replace specific Inference Engines for RDF, RDFS or different OWL Profiles by different Sets of Rules for a generic Rules Engine (Using dotNetRdf SimpleN3RulesReasoner). But I can hardly find these Rules Files, except for…
Spoc
  • 668
  • 5
  • 14
0
votes
1 answer

How to select elements from UNION operation in sqwrl query

I am able to select the size of s3 and it is giving me the correct answer in rule 1. However, I want to select all the elements in s3. I tried Rule 2 but it is giving me the exception "error running SQWRL queries: error running Drools rule…
Muzogeek
  • 53
  • 7
0
votes
1 answer

What should be the outcome of this ontology?

I am learning web ontology and Description logic. I came across this and was quite confused about what should be the answer: This is the knowledge base. Where Parent(X,Y) means X is parent of…
Rahul Devgan
  • 45
  • 7
0
votes
0 answers

expand tdb triple store using reasoner

I have a Fuseki database with 1.5 million triples, stored in a persistant tdb store. Simple queries without reasoning work very well, but when using the Owl forward-backward reasoner provided with Fuseki the performance drops dramatically, leading…
Marijn
  • 1,640
  • 14
  • 24
0
votes
1 answer

getting all types for instance using owl api 3.4.10 and jfact 1.2.1

I used Protege to make an ontology. It consists of two base classes. Each of them has three subsclasses. Subclasses are classes with specific object and data properties. When I make an instance I make it as class individual but with such data…
melnej
  • 1
  • 1
0
votes
1 answer

Alloy Analyzer: finding a model for a given instance

I am wondering if it is possible to generate a model specification for a given instance. My goal is to check whether an instance conforms to a model or not. I have found a paper dealing with automatic specification of instances. It is called 'An…
mollwitz
  • 213
  • 3
  • 15
0
votes
1 answer

Can Protege owl reason using data properties?

I'm trying to get the reasoner in Protege 4 to catagorise individuals as per a data property score. Individuals with good health have a data property 'ambulation Score' of 8. I am trying to get a reasoner to place such an individual into a class…
Phil
  • 31
  • 4
0
votes
1 answer

what are datatypes supported by FACT ++?

I am working in Ontology but when I used FACT++ in Protege , FACT++ throws me an error. I have reading about the datatypes error with FACT++ but I can´t found the datatypes supported by FACT++. I am reading in…
Antonio Edgar Martinez
  • 43
  • 4
0
votes
0 answers

Reasoning: Individuals to classes in OWL

I'm trying to reason with OWL in Protege. I have individual that should be classified to vegetarian or meat pizza, based on the topping. It works for meat with hasTopping some NotVeg, but it does not work with vegetarian for hasTopping only…
2Application
  • 165
  • 10
0
votes
1 answer

Probabilistic and/or defeasible reasoning in Protege?

I have found some promising (old) articles but the trail has run cold. Ideally I am looking for working plugins/code, but if they are simply not available, then any concrete directions on how to build probabilistic and/or defeasible reasoning for…
pythonjsgeo
  • 5,122
  • 2
  • 34
  • 47
0
votes
1 answer

Minimal example for an Inferred Class Hierarchy in OWL

In the ontology editor Protegé there is a tab called Class hierarchy (inferred). I am looking for a minimal example to create such an inferred class, e.g. is it mainly that :RedCar rdfs:subClassOf :Car, and that's all? :RedCar a …
rmv
  • 3,195
  • 4
  • 26
  • 29
0
votes
1 answer

Rule based system initial fact processing

I have a confusion after discussion with one of my fellow on the rule base system. I have developed one in Android which has set of rules. What i say is that initial facts have to match any rule in order to start the engine, so we can directly start…
Shahensha Khan
  • 265
  • 1
  • 19
1 2 3
…
16 17