<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://ontologforum.com/index.php?action=history&amp;feed=atom&amp;title=HyQue</id>
	<title>HyQue - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://ontologforum.com/index.php?action=history&amp;feed=atom&amp;title=HyQue"/>
	<link rel="alternate" type="text/html" href="https://ontologforum.com/index.php?title=HyQue&amp;action=history"/>
	<updated>2026-04-12T08:27:16Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.39.0</generator>
	<entry>
		<id>https://ontologforum.com/index.php?title=HyQue&amp;diff=845&amp;oldid=prev</id>
		<title>imported&gt;PeterYim at 00:09, 30 April 2013</title>
		<link rel="alternate" type="text/html" href="https://ontologforum.com/index.php?title=HyQue&amp;diff=845&amp;oldid=prev"/>
		<updated>2013-04-30T00:09:16Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{OntologySummit2013_Survey&lt;br /&gt;
|Full name of the tool=HyQue&lt;br /&gt;
|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&lt;br /&gt;
|Link to the tool=http://hyque.semanticscience.org/&lt;br /&gt;
|Tool home page=http://hyque.semanticscience.org/&lt;br /&gt;
|Author=Alison Callahan, Nigam Shah, Michel Dumontier&lt;br /&gt;
|Contact=michel.dumontier@gmail.com&lt;br /&gt;
|Institutional sponsor=Carleton University&lt;br /&gt;
|Find ontologies with specific domain coverage=No&lt;br /&gt;
|Compare domain coverage across ontologies=No&lt;br /&gt;
|Assess or characterize breadth of domain coverage of an ontology=No&lt;br /&gt;
|Assess or characterize depth or detail of domain coverage of an ontology=No&lt;br /&gt;
|Assess or characterize use considerations of ontology including licensing, training, cost, updating, software requirements, and security=No&lt;br /&gt;
|Assess complexity of concept definitions (necessary and sufficient properties) and use of axioms=No&lt;br /&gt;
|Identify number and ratio of concepts, relations, and subclassing=No&lt;br /&gt;
|Identify frequency of use of ontology language features in an ontology=No&lt;br /&gt;
|Identify age and use statistics of an ontology and its versions=No&lt;br /&gt;
|Assess the inferencing power of an ontology=Yes&lt;br /&gt;
|Rate ontologies on their popularity or review feedback=No&lt;br /&gt;
|Other ontology quality and fitness support for exploration phase (describe capability)=HyQue uses ontologies to organize and reason about the underlying linked data sources&lt;br /&gt;
|Distinguish between conceptual and operational ontologies and objectives=No&lt;br /&gt;
|Generate ontology application and performance requirements=Yes&lt;br /&gt;
|Organize and track the life cycle requirements and progression of an ontology=No&lt;br /&gt;
|Organize and maintain a collection of related ontologies and ontology modules=Yes&lt;br /&gt;
|Provide statistics on ontology versioning and use=No&lt;br /&gt;
|Guide ontology development per a quality assurance methodology=No&lt;br /&gt;
|Assess the reusability of a planned ontology=No&lt;br /&gt;
|Guide formulation of domain scope and detail requirements=No&lt;br /&gt;
|Guide formulation of goodness of design requirements=No&lt;br /&gt;
|Guide formulation of data and information requirements=No&lt;br /&gt;
|Guide formulation of semantic and reasoning requirements=No&lt;br /&gt;
|Guide formulation of interface requirements=No&lt;br /&gt;
|Guide formulation of level of effort requirements=No&lt;br /&gt;
|Facilitate framing a set of competency questions exemplifying ontology objectives=No&lt;br /&gt;
|Choose metaphysical methodology=No&lt;br /&gt;
|Choose extant top ontology for reuse=No&lt;br /&gt;
|Choose extant core ontologies for reuse=No&lt;br /&gt;
|Apply a style of ontological analysis to design=No&lt;br /&gt;
|Guide design to optimize normalization, factoring, and simplicity of ontology=No&lt;br /&gt;
|Guide application of open world or closed world semantics=No&lt;br /&gt;
|Guide ontology design to achieve inferencing requirements=No&lt;br /&gt;
|Guide ontology design to achieve scalability requirements=No&lt;br /&gt;
|Enable adjustable query and inference performance=No&lt;br /&gt;
|Offer application patterns based on current ontology or design context=No&lt;br /&gt;
|Offer ontology language patterns based on current ontology or design context=No&lt;br /&gt;
|Offer methodology patterns based on current ontology or design context=No&lt;br /&gt;
|Offer other patterns based on current ontology or design context=No&lt;br /&gt;
|Integrate selected design patterns into an ontology design=No&lt;br /&gt;
|Assess correctness or performance of an ontology design=No&lt;br /&gt;
|Guide and facilitate modularization of ontology=No&lt;br /&gt;
|Guide ontology design for visualization=No&lt;br /&gt;
|Choose ontology language=No&lt;br /&gt;
|Choose formal logic language=No&lt;br /&gt;
|Choose RDF support=Yes&lt;br /&gt;
|Mix ontology languages=No&lt;br /&gt;
|Generate ontology code from requirements specification=No&lt;br /&gt;
|Generate or enforce selected design patterns in ontology code=No&lt;br /&gt;
|Feedback on consistency of granularity and regularity of domain ontology structure=No&lt;br /&gt;
|Manage lexical naming and annotation of ontology elements=No&lt;br /&gt;
|Ensure proper use and coding of RDF and Web resources=Yes&lt;br /&gt;
|Enforce proper use and coding of URIs=Yes&lt;br /&gt;
|Produce the current terminological inferences of an ontology=Yes&lt;br /&gt;
|Optimize query and inference performance=Yes&lt;br /&gt;
|Detect violations of domain, referential, or semantic integrity=Yes&lt;br /&gt;
|Overall, detect and correct coding errors or inconsistencies=No&lt;br /&gt;
|Ensure proper separation and coding of concepts and facts=No&lt;br /&gt;
|Ensure kind-of nature and consistency of subclassing=Yes&lt;br /&gt;
|Guide subclass versus class individual determinations=No&lt;br /&gt;
|Monitor depth of subclassing consistency across a domain ontology=No&lt;br /&gt;
|Generate prototypical instances (individuals) to help verify class intent and class subsumption=No&lt;br /&gt;
|Detect and guide use of multiple inheritance=No&lt;br /&gt;
|Guide use of disjointness axioms=No&lt;br /&gt;
|Guide use of necessary and sufficient properties in concept definitions=No&lt;br /&gt;
|Guide use of existential versus universal quantification in class restrictions=No&lt;br /&gt;
|Enforce proper use of conjunctions versus disjunctions=No&lt;br /&gt;
|Ensure proper use and coding of relations=No&lt;br /&gt;
|Ensure proper use and coding of data types=No&lt;br /&gt;
|Assess and enforce consistency and completeness of range and domain constraints=No&lt;br /&gt;
|Assess and enforce consistency and completeness of inverse relations=No&lt;br /&gt;
|Ensure proper use and coding of transitive relations=No&lt;br /&gt;
|Verify that ontology requirements are met=No&lt;br /&gt;
|Assess query precision and recall performance=No&lt;br /&gt;
|Assess query time performance=No&lt;br /&gt;
|Assess inferencing time performance=No&lt;br /&gt;
|Assess inferencing completeness performance=No&lt;br /&gt;
|Generate characteristic queries and tests=No&lt;br /&gt;
|Accept validation test sets or inputs=No&lt;br /&gt;
|Assure semantically adequate computability of ontology=No&lt;br /&gt;
|Assure mathematically complete computability of ontology=No&lt;br /&gt;
|Verify that two ontologies are interoperable=No&lt;br /&gt;
|Validate the intended functionality of software using the ontology=No&lt;br /&gt;
|Validate instance data conforming to an ontology=No&lt;br /&gt;
|Assess accuracy, correctness, and completeness of ontology terminological content=No&lt;br /&gt;
|Guide or adjust ontology in accord with validation results=No&lt;br /&gt;
|Export ontology in different languages=No&lt;br /&gt;
|Integrate ontology with other ontologies=Yes&lt;br /&gt;
|Integrate ontology with other information system resources=Yes&lt;br /&gt;
|Assess or track user experience with ontology=No&lt;br /&gt;
|Enable user to modify or extend ontology to address deficiencies=No&lt;br /&gt;
|Create mappings from ontologies to and from data and data sources=Yes&lt;br /&gt;
|Promote reuse of ontology=Yes&lt;br /&gt;
|Capture ontology errors during use=No&lt;br /&gt;
|Profile use of ontology elements during use=No&lt;br /&gt;
|Compare and map between ontologies=No&lt;br /&gt;
|Track ontology changes and control versions=No&lt;br /&gt;
}}&lt;/div&gt;</summary>
		<author><name>imported&gt;PeterYim</name></author>
	</entry>
</feed>