Question

OWL reasoners in owlready2 : how to reduce computation time

score 76 · Answer 1 · 2023-12-08 16:52:46

76

Views

OWL reasoners in owlready2 : how to reduce computation time

Published on 08 December 2023 at 16:52

score 45 · Answer 2 · 2023-12-17 16:50:19

45

Views

How to perform existential quantification inferences in ontologies?

Published on 17 December 2023 at 16:50

score 333 · Answer 3 · 2020-12-12 09:10:27

333

Views

Why is HermiT or Pellet Reasoner for Protegev5.5 is not detecting inconsistency in Ontology

Published on 12 December 2020 at 09:10

score 81 · Answer 4 · 2022-05-08 13:30:45

81

Views

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

Published on 08 May 2022 at 13:30

score 252 · Answer 5 · 2021-04-26 19:41:04

252

Views

Using Hermit with ONT-API and SPARQL Query

Published on 26 April 2021 at 19:41

score 394 · Answer 6 · 2021-04-26 16:40:15

394

Views

Reasoning over OWL cardinality restriction

Published on 26 April 2021 at 16:40

score 136 · Answer 7 · 2021-05-01 03:34:20

136

Views

What flavors of reasoning are supported in VOS?

Published on 01 May 2021 at 03:34

score 145 · Answer 8 · 2021-05-04 23:18:54

145

Views

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

Published on 04 May 2021 at 23:18

score 658 · Answer 9 · 2021-05-04 21:07:52

658

Views

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

Published on 04 May 2021 at 21:07

score 701 · Answer 10 · 2018-09-22 18:54:10

701

Views

Reset sync_reasoner inferences

Published on 22 September 2018 at 18:54

score 240 · Answer 11 · 2018-10-05 08:25:41

240

Views

Could OWL reasoner inherit ranges of data properties from parent properties?

Published on 05 October 2018 at 08:25

score 75 · Answer 12 · 2022-05-13 12:42:44

75

Views

Create reasoner does not work on Tomcat deployment

Published on 13 May 2022 at 12:42

score 60 · Answer 13 · 2022-11-08 18:02:55

60

Views

How to model Logical Expression using Protege OWL

Published on 08 November 2022 at 18:02

score 221 · Answer 14 · 2018-06-06 07:24:59

221

Views

NoSuchMethodError OWLDisjointClassesAxioms.getOperandAsList ()

Published on 06 June 2018 at 07:24

score 1.1k · Answer 15 · 2018-06-04 21:03:15

1.1k

Views

Equivalent class for transitive property

Published on 04 June 2018 at 21:03

score 99 · Answer 16 · 2020-04-03 10:20:45

99

Views

Is this ontology well formed?

Published on 03 April 2020 at 10:20

score 378 · Answer 17 · 2017-07-19 10:42:23

378

Views

Creating regex restriction on OWL class

Published on 19 July 2017 at 10:42

score 222 · Answer 18 · 2019-12-09 16:50:03

222

Views

HermiT reasoner thows “UnsupportedDatatypeException” for datatype

Published on 09 December 2019 at 16:50

score 188 · Answer 19 · 2019-10-19 16:56:36

188

Views

Why HermiT considers asymmetric sub-property to symmetric property consistent?

Published on 19 October 2019 at 16:56

score 87 · Answer 20 · 2021-09-13 02:09:46

87

Views

graphdb reasoning classify individual based on value range

Published on 13 September 2021 at 02:09

List Question

OWL reasoners in owlready2 : how to reduce computation time

How to perform existential quantification inferences in ontologies?

Why is HermiT or Pellet Reasoner for Protegev5.5 is not detecting inconsistency in Ontology

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

Using Hermit with ONT-API and SPARQL Query

Reasoning over OWL cardinality restriction

What flavors of reasoning are supported in VOS?

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

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

Reset sync_reasoner inferences

Could OWL reasoner inherit ranges of data properties from parent properties?

Create reasoner does not work on Tomcat deployment

How to model Logical Expression using Protege OWL

NoSuchMethodError OWLDisjointClassesAxioms.getOperandAsList ()

Equivalent class for transitive property

Is this ontology well formed?

Creating regex restriction on OWL class

HermiT reasoner thows “UnsupportedDatatypeException” for datatype

Why HermiT considers asymmetric sub-property to symmetric property consistent?

graphdb reasoning classify individual based on value range

Trending Questions

Popular # Hahtags

Popular Questions