HyQue
type: Ontology
creation date: 2026-02-04T04:23:11+00:00
imports: http://semantic-mediawiki.org/swivt/1.0

HyQue
type: Subject
type: Category:OntologySummit2013 Survey
page: https://ontologforum.com/index.php/HyQue
wiki namespace: 0
wiki page content language: en
accept validation test sets or inputs: false
accept validation test sets or inputs comments: Optional remarks
apply a style of ontological analysis to design: false
apply a style of ontological analysis to design comments: Optional remarks
assess accuracy, correctness, and completeness of ontology terminological content: false
assess accuracy, correctness, and completeness of ontology terminological content comments: Optional remarks
assess and enforce consistency and completeness of inverse relations: false
assess and enforce consistency and completeness of inverse relations comments: Optional remarks
assess and enforce consistency and completeness of range and domain constraints: false
assess and enforce consistency and completeness of range and domain constraints comments: Optional remarks
assess complexity of concept definitions (necessary and sufficient properties) and use of axioms: false
assess complexity of concept definitions (necessary and sufficient properties) and use of axioms comments: Optional remarks
assess correctness or performance of an ontology design: false
assess correctness or performance of an ontology design comments: Optional remarks
assess inferencing completeness performance: false
assess inferencing completeness performance comments: Optional remarks
assess inferencing time performance: false
assess inferencing time performance comments: Optional remarks
assess or characterize breadth of domain coverage of an ontology: false
assess or characterize breadth of domain coverage of an ontology comments: Optional remarks
assess or characterize depth or detail of domain coverage of an ontology: false
assess or characterize depth or detail of domain coverage of an ontology comments: Optional remarks
assess or characterize use considerations of ontology including licensing, training, cost, updating, software requirements, and security: false
assess or characterize use considerations of ontology including licensing, training, cost, updating, software requirements, and security comments: Optional remarks
assess or track user experience with ontology: false
assess or track user experience with ontology comments: Optional remarks
assess query precision and recall performance: false
assess query precision and recall performance comments: Optional remarks
assess query time performance: false
assess query time performance comments: Optional remarks
assess the inferencing power of an ontology: true
assess the inferencing power of an ontology comments: Optional remarks
assess the reusability of a planned ontology: false
assess the reusability of a planned ontology comments: Optional remarks
assure mathematically complete computability of ontology: false
assure mathematically complete computability of ontology comments: Optional remarks
assure semantically adequate computability of ontology: false
assure semantically adequate computability of ontology comments: Optional remarks
author: Alison Callahan, Nigam Shah, Michel Dumontier
capture ontology errors during use: false
capture ontology errors during use comments: Optional remarks
choose RDF support: true
choose RDF support comments: Optional remarks
choose extant core ontologies for reuse: false
choose extant core ontologies for reuse comments: Optional remarks
choose extant top ontology for reuse: false
choose extant top ontology for reuse comments: Optional remarks
choose formal logic language: false
choose formal logic language comments: Optional remarks
choose metaphysical methodology: false
choose metaphysical methodology comments: Optional remarks
choose ontology language: false
choose ontology language comments: Optional remarks
compare and map between ontologies: false
compare and map between ontologies comments: Optional remarks
compare domain coverage across ontologies: false
compare domain coverage across ontologies comments: Optional remarks
create mappings from ontologies to and from data and data sources: true
create mappings from ontologies to and from data and data sources comments: Optional remarks
description of the tool: HyQue is a system that uses Semantic Web technologies to evaluate formalized hypotheses against experimental data through a combination of SPARQL queries and evaluation rules
detect and guide use of multiple inheritance: false
detect and guide use of multiple inheritance comments: Optional remarks
detect violations of domain, referential, or semantic integrity: true
detect violations of domain, referential, or semantic integrity comments: Optional remarks
distinguish between conceptual and operational ontologies and objectives: false
distinguish between conceptual and operational ontologies and objectives comments: Optional remarks
enable adjustable query and inference performance: false
enable adjustable query and inference performance comments: Optional remarks
enable user to modify or extend ontology to address deficiencies: false
enable user to modify or extend ontology to address deficiencies comments: Optional remarks
enforce proper use and coding of UR is: true
enforce proper use and coding of UR is comments: Optional remarks
enforce proper use of conjunctions versus disjunctions: false
enforce proper use of conjunctions versus disjunctions comments: Optional remarks

Hyque
type: Subject
page: https://ontologforum.com/index.php/Hyque
wiki namespace: 0
wiki page content language: en
redirects to: HyQue
wiki page sort key: Hyque

REDI
type: DatatypeProperty
page: https://ontologforum.com/index.php/Property-3A_REDI
wiki namespace: 102
wiki page content language: en
wiki page sort key: REDI