Question

Get the only solution based on given constraints using z3 theorem

score 81 · Answer 1 · 2024-03-28T11:57:32.377000

81

Views

Get the only solution based on given constraints using z3 theorem

Published on 28 March 2024 at 11:57

score 24 · Answer 2 · 2024-03-13T18:50:20.977000

24

Views

Find what creates the inconsistency using OWLAPI

Published on 13 March 2024 at 18:50

score 34 · Answer 3 · 2024-02-04T15:39:08.100000

34

Views

Is there a difference in OWL between using inverseOf and propertyChainAxiom ([inverseOf <property>])?

Published on 04 February 2024 at 15:39

score 149 · Answer 4 · 2023-12-14T12:21:35.800000

149

Views

Inconsistencies in OWL classes

Published on 14 December 2023 at 12:21

score 119 · Answer 5 · 2023-11-26T19:07:09.147000

119

Views

Exporting result of eye reasoner query into a file

Published on 26 November 2023 at 19:07

score 64 · Answer 6 · 2023-08-12T16:34:07.117000

64

Views

How to model occupation in a personal ontology with Wikidata?

Published on 12 August 2023 at 16:34

score 87 · Answer 7 · 2023-07-31T10:50:19.423000

87

Views

How to generate specific inference using owlapi?

Published on 31 July 2023 at 10:50

score 84 · Answer 8 · 2023-07-27T12:55:20.643000

84

Views

OWL API, Hermit materialization

Published on 27 July 2023 at 12:55

score 76 · Answer 9 · 2023-06-15T06:21:37.420000

76

Views

ALC - Ontology consistency checking

Published on 15 June 2023 at 06:21

score 91 · Answer 10 · 2023-03-22T12:11:32.380000

91

Views

"Ignoring transitivity and/or complex subproperty axioms"

Published on 22 March 2023 at 12:11

score 61 · Answer 11 · 2023-03-16T09:49:52.743000

61

Views

SWRL rules (or Jena rules) for reasoning on set

Published on 16 March 2023 at 09:49

score 37 · Answer 12 · 2023-03-06T14:56:48.330000

37

Views

Owl reasoners that can use multiple cpus

Published on 06 March 2023 at 14:56

score 77 · Answer 13 · 2023-03-05T16:53:45.983000

77

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?

Published on 05 March 2023 at 16:53

score 103 · Answer 14 · 2023-02-20T22:26:20.890000

103

Views

When I use a (complex) SPARQL query to infer something (e.g. that a is in some relation to b that is only given through the query) is it reasoning?

Published on 20 February 2023 at 22:26

score 40 · Answer 15 · 2023-02-08T15:28:59.757000

40

Views

Using Hermit Reasoner to check if an Ontology is Consistant

Published on 08 February 2023 at 15:28

score 63 · Answer 16 · 2023-01-26T19:22:52.773000

63

Views

HermiT entailments that contain negation

Published on 26 January 2023 at 19:22

score 36 · Answer 17 · 2023-01-20T16:05:32.150000

36

Views

Check if a class is inconsistent in Konclude

Published on 20 January 2023 at 16:05

score 58 · Answer 18 · 2022-11-07T03:37:49.127000

58

Views

How the value of m is 2?

Published on 07 November 2022 at 03:37

score 43 · Answer 19 · 2022-08-11T23:04:42.463000

43

Views

How to disply answer sets without facts

Published on 11 August 2022 at 23:04

score 51 · Answer 20 · 2022-08-02T21:42:35.483000

51

Views

Is there a way to infer existentially quantified statements in OWL?

Published on 02 August 2022 at 21:42

List Question

Get the only solution based on given constraints using z3 theorem

Find what creates the inconsistency using OWLAPI

Is there a difference in OWL between using inverseOf and propertyChainAxiom ([inverseOf <property>])?

Inconsistencies in OWL classes

Exporting result of eye reasoner query into a file

How to model occupation in a personal ontology with Wikidata?

How to generate specific inference using owlapi?

OWL API, Hermit materialization

ALC - Ontology consistency checking

"Ignoring transitivity and/or complex subproperty axioms"

SWRL rules (or Jena rules) for reasoning on set

Owl reasoners that can use multiple cpus

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?

When I use a (complex) SPARQL query to infer something (e.g. that a is in some relation to b that is only given through the query) is it reasoning?

Using Hermit Reasoner to check if an Ontology is Consistant

HermiT entailments that contain negation

Check if a class is inconsistent in Konclude

How the value of m is 2?

How to disply answer sets without facts

Is there a way to infer existentially quantified statements in OWL?

Trending Questions

Popular # Hahtags

Popular Questions