Question

Find what creates the inconsistency using OWLAPI

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

24

Views

Find what creates the inconsistency using OWLAPI

Published on 13 March 2024 at 18:50

score 111 · Answer 2 · 2023-12-17T16:50:19.847000

111

Views

How to perform existential quantification inferences in ontologies?

Published on 17 December 2023 at 16:50

score 164 · Answer 3 · 2023-12-08T16:52:46.253000

164

Views

OWL reasoners in owlready2 : how to reduce computation time

Published on 08 December 2023 at 16:52

score 46 · Answer 4 · 2023-08-16T08:02:52.683000

46

Views

OWLAPI and HermiT reasoner: non-asserted deleted individuals are still inferred

Published on 16 August 2023 at 08:02

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

84

Views

OWL API, Hermit materialization

Published on 27 July 2023 at 12:55

score 43 · Answer 6 · 2023-07-20T09:25:31.797000

43

Views

OWLAPI and HermiT reasoner: can not force irreflexive transitive object property

Published on 20 July 2023 at 09:25

score 40 · Answer 7 · 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 8 · 2023-01-26T19:22:52.773000

63

Views

HermiT entailments that contain negation

Published on 26 January 2023 at 19:22

score 97 · Answer 9 · 2022-11-08T18:02:55.937000

97

Views

How to model Logical Expression using Protege OWL

Published on 08 November 2022 at 18:02

score 107 · Answer 10 · 2022-05-13T12:42:44.160000

107

Views

Create reasoner does not work on Tomcat deployment

Published on 13 May 2022 at 12:42

score 147 · Answer 11 · 2022-05-08T13:30:45.330000

147

Views

Why is Protege not able to infer all implicit axioms in one operation?

Published on 08 May 2022 at 13:30

score 81 · Answer 12 · 2022-01-05T17:03:23.763000

81

Views

OWLAPI: Reasoning over ontology with disjunctions

Published on 05 January 2022 at 17:03

score 146 · Answer 13 · 2021-12-31T12:17:03.543000

146

Views

Inferring the existence of individuals using Protege

Published on 31 December 2021 at 12:17

score 74 · Answer 14 · 2021-12-29T16:51:16.170000

74

Views

Infer non-trivial OWL superclasses (or subclasses) assertions using a Java reasoner

Published on 29 December 2021 at 16:51

score 94 · Answer 15 · 2021-12-17T22:48:45.127000

94

Views

Using only constraint in owl leads to inconsistency

Published on 17 December 2021 at 22:48

score 108 · Answer 16 · 2021-09-13T02:09:46.733000

108

Views

graphdb reasoning classify individual based on value range

Published on 13 September 2021 at 02:09

score 204 · Answer 17 · 2021-05-04T23:18:54.080000

204

Views

Aren't anonymous classes automatically a type of owl:Class?

Published on 04 May 2021 at 23:18

score 745 · Answer 18 · 2021-05-04T21:07:52.633000

745

Views

owlready2 reasoner does not generate inferred object property assertions with a SWRL rule

Published on 04 May 2021 at 21:07

score 217 · Answer 19 · 2021-05-01T03:34:20.353000

217

Views

What flavors of reasoning are supported in VOS?

Published on 01 May 2021 at 03:34

score 319 · Answer 20 · 2021-04-26T19:41:04.050000

319

Views

Using Hermit with ONT-API and SPARQL Query

Published on 26 April 2021 at 19:41

List Question

Find what creates the inconsistency using OWLAPI

How to perform existential quantification inferences in ontologies?

OWL reasoners in owlready2 : how to reduce computation time

OWLAPI and HermiT reasoner: non-asserted deleted individuals are still inferred

OWL API, Hermit materialization

OWLAPI and HermiT reasoner: can not force irreflexive transitive object property

Using Hermit Reasoner to check if an Ontology is Consistant

HermiT entailments that contain negation

How to model Logical Expression using Protege OWL

Create reasoner does not work on Tomcat deployment

Why is Protege not able to infer all implicit axioms in one operation?

OWLAPI: Reasoning over ontology with disjunctions

Inferring the existence of individuals using Protege

Infer non-trivial OWL superclasses (or subclasses) assertions using a Java reasoner

Using only constraint in owl leads to inconsistency

graphdb reasoning classify individual based on value range

Aren't anonymous classes automatically a type of owl:Class?

owlready2 reasoner does not generate inferred object property assertions with a SWRL rule

What flavors of reasoning are supported in VOS?

Using Hermit with ONT-API and SPARQL Query

Trending Questions

Popular # Hahtags

Popular Questions