TechQA.

Question

Get the only solution based on given constraints using z3 theorem

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

0

Answer

81

Views

Get the only solution based on given constraints using z3 theorem

81 views Asked by inferis At 28 March 2024 at 11:57

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

Find what creates the inconsistency using OWLAPI

24 views Asked by Costas Ginos At 13 March 2024 at 18:50

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

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

34 views Asked by Daraan At 04 February 2024 at 15:39

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

Inconsistencies in OWL classes

149 views Asked by harsh At 14 December 2023 at 12:21

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

Exporting result of eye reasoner query into a file

119 views Asked by Mehdi At 26 November 2023 at 19:07

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

How to model occupation in a personal ontology with Wikidata?

64 views Asked by Ludovic Bocken At 12 August 2023 at 16:34

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

How to generate specific inference using owlapi?

87 views Asked by Satyam G At 31 July 2023 at 10:50

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

OWL API, Hermit materialization

84 views Asked by Eleni T At 27 July 2023 at 12:55

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

ALC - Ontology consistency checking

76 views Asked by Alex At 15 June 2023 at 06:21

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

"Ignoring transitivity and/or complex subproperty axioms"

91 views Asked by António Antunes At 22 March 2023 at 12:11

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

SWRL rules (or Jena rules) for reasoning on set

61 views Asked by Alex At 16 March 2023 at 09:49

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

Owl reasoners that can use multiple cpus

37 views Asked by Rami Dhouib At 06 March 2023 at 14:56

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

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?

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

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?

103 views Asked by user3352632 At 20 February 2023 at 22:26

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

Using Hermit Reasoner to check if an Ontology is Consistant

40 views Asked by Rami Dhouib At 08 February 2023 at 15:28

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

HermiT entailments that contain negation

63 views Asked by SteliosKts At 26 January 2023 at 19:22

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

Check if a class is inconsistent in Konclude

36 views Asked by Rami Dhouib At 20 January 2023 at 16:05

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

How the value of m is 2?

58 views Asked by Frnaz Akbar At 07 November 2022 at 03:37

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

How to disply answer sets without facts

43 views Asked by Nadia At 11 August 2022 at 23:04

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

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

51 views Asked by da71 At 02 August 2022 at 21:42

TechQA.

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?

Popular Questions

Trending Questions