Actions

Ontolog Forum

Return to the survey

General

Full name of the tool HyQue
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
Link to the tool http://hyque.semanticscience.org/
Tool home page http://hyque.semanticscience.org/
Download page
Author Alison Callahan, Nigam Shah, Michel Dumontier
Contact michel.dumontier@gmail.com
Institutional sponsor Carleton University
Last version
License
Mailing List

Exploration

Find ontologies with specific domain coverage No
-- comment Optional remarks
Compare domain coverage across ontologies No
-- comment Optional remarks
Assess or characterize breadth of domain coverage of an ontology No
-- comment Optional remarks
Assess or characterize depth or detail of domain coverage of an ontology No
-- comment Optional remarks
Assess or characterize use considerations of ontology including licensing, training, cost, updating, software requirements, and security No
-- comment Optional remarks
Assess complexity of concept definitions (necessary and sufficient properties) and use of axioms No
-- comment Optional remarks
Identify number and ratio of concepts, relations, and subclassing No
-- comment Optional remarks
Identify frequency of use of ontology language features in an ontology No
-- comment Optional remarks
Identify age and use statistics of an ontology and its versions No
-- comment Optional remarks
Assess the inferencing power of an ontology Yes
-- comment Optional remarks
Rate ontologies on their popularity or review feedback No
-- comment Optional remarks
Other ontology quality and fitness support for exploration phase (describe capability) HyQue uses ontologies to organize and reason about the underlying linked data sources

Management

Distinguish between conceptual and operational ontologies and objectives No
-- comment Optional remarks
Generate ontology application and performance requirements Yes
-- comment Optional remarks
Organize and track the life cycle requirements and progression of an ontology No
-- comment Optional remarks
Organize and maintain a collection of related ontologies and ontology modules Yes
-- comment Optional remarks
Provide statistics on ontology versioning and use No
-- comment Optional remarks
Guide ontology development per a quality assurance methodology No
-- comment Optional remarks
Assess the reusability of a planned ontology No
-- comment Optional remarks
Other ontology quality and fitness support for management phase (describe capability)

Design

Does HyQue guide formulation of ontology requirements?
Guide formulation of domain scope and detail requirements No
-- comment Optional remarks
Guide formulation of goodness of design requirements No
-- comment Optional remarks
Guide formulation of data and information requirements No
-- comment Optional remarks
Guide formulation of semantic and reasoning requirements No
-- comment Optional remarks
Guide formulation of interface requirements No
-- comment Optional remarks
Guide formulation of level of effort requirements No
-- comment Optional remarks
Facilitate framing a set of competency questions exemplifying ontology objectives No
-- comment Optional remarks
Choose metaphysical methodology No
-- comment Optional remarks
Does HyQue allow one to choose an extant ontology for reuse?
Choose extant top ontology for reuse No
-- comment Optional remarks
Choose extant core ontologies for reuse No
-- comment Optional remarks
Apply a style of ontological analysis to design No
-- comment Optional remarks
Guide design to optimize normalization, factoring, and simplicity of ontology No
-- comment Optional remarks
Guide application of open world or closed world semantics No
-- comment Optional remarks
Guide ontology design to achieve inferencing requirements No
-- comment Optional remarks
Guide ontology design to achieve scalability requirements No
-- comment Optional remarks
Enable adjustable query and inference performance No
-- comment Optional remarks
Does HyQue offer design patterns based on current ontology or design context?
Offer application patterns based on current ontology or design context No
-- comment Optional remarks
Offer ontology language patterns based on current ontology or design context No
-- comment Optional remarks
Offer methodology patterns based on current ontology or design context No
-- comment Optional remarks
Offer other patterns based on current ontology or design context No
-- comment Optional remarks
Integrate selected design patterns into an ontology design No
-- comment Optional remarks
Assess correctness or performance of an ontology design No
-- comment Optional remarks
Guide and facilitate modularization of ontology No
-- comment Optional remarks
Guide ontology design for visualization No
-- comment Optional remarks
Other ontology quality and fitness support for design phase (describe capability)

Build

General Development

Does HyQue allow one to choose an ontology language?
Choose ontology language No
-- comment Optional remarks
Choose formal logic language No
-- comment Optional remarks
Choose RDF support Yes
-- comment Optional remarks
Mix ontology languages No
-- comment Optional remarks
Generate ontology code from requirements specification No
-- comment Optional remarks
Generate or enforce selected design patterns in ontology code No
-- comment Optional remarks
Feedback on consistency of granularity and regularity of domain ontology structure No
-- comment Optional remarks
Manage lexical naming and annotation of ontology elements No
-- comment Optional remarks
Ensure proper use and coding of RDF and Web resources Yes
-- comment Optional remarks
Enforce proper use and coding of URIs Yes
-- comment Optional remarks
Produce the current terminological inferences of an ontology Yes
-- comment Optional remarks
Optimize query and inference performance Yes
-- comment Optional remarks
Detect violations of domain, referential, or semantic integrity Yes
-- comment Optional remarks
Overall, detect and correct coding errors or inconsistencies No
-- comment Optional remarks
Other ontology quality and fitness support for build phase (describe capability)

Concept Development

Ensure proper separation and coding of concepts and facts No
-- comment Optional remarks
Ensure kind-of nature and consistency of subclassing Yes
-- comment Optional remarks
Guide subclass versus class individual determinations No
-- comment Optional remarks
Monitor depth of subclassing consistency across a domain ontology No
-- comment Optional remarks
Generate prototypical instances (individuals) to help verify class intent and class subsumption No
-- comment Optional remarks
Detect and guide use of multiple inheritance No
-- comment Optional remarks
Guide use of disjointness axioms No
-- comment Optional remarks
Guide use of necessary and sufficient properties in concept definitions No
-- comment Optional remarks
Guide use of existential versus universal quantification in class restrictions No
-- comment Optional remarks
Enforce proper use of conjunctions versus disjunctions No
-- comment Optional remarks

Relationship Development

Ensure proper use and coding of relations No
-- comment Optional remarks
Ensure proper use and coding of data types No
-- comment Optional remarks
Assess and enforce consistency and completeness of range and domain constraints No
-- comment Optional remarks
Assess and enforce consistency and completeness of inverse relations No
-- comment Optional remarks
Ensure proper use and coding of transitive relations No
-- comment Optional remarks

Validation

Verify that ontology requirements are met No
-- comment Optional remarks
Can HyQue assess query performance?
Assess query precision and recall performance No
-- comment Optional remarks
Assess query time performance No
-- comment Optional remarks
Can HyQue assess inference performance?
Assess inferencing time performance No
-- comment Optional remarks
Assess inferencing completeness performance No
-- comment Optional remarks
Generate characteristic queries and tests No
-- comment Optional remarks
Accept validation test sets or inputs No
-- comment Optional remarks
Can HyQue assure computability of ontology?
Assure semantically adequate computability of ontology No
-- comment Optional remarks
Assure mathematically complete computability of ontology No
-- comment Optional remarks
Verify that two ontologies are interoperable No
-- comment Optional remarks
Validate the intended functionality of software using the ontology No
-- comment Optional remarks
Validate instance data conforming to an ontology No
-- comment Optional remarks
Assess accuracy, correctness, and completeness of ontology terminological content No
-- comment Optional remarks
Guide or adjust ontology in accord with validation results No
-- comment Optional remarks
Other ontology quality and fitness support for validation phase (describe capability)

Integration and Use

Export ontology in different languages No
-- comment Optional remarks
Integrate ontology with other ontologies Yes
-- comment Optional remarks
Integrate ontology with other information system resources Yes
-- comment Optional remarks
Assess or track user experience with ontology No
-- comment Optional remarks
Enable user to modify or extend ontology to address deficiencies No
-- comment Optional remarks
Create mappings from ontologies to and from data and data sources Yes
-- comment Optional remarks
Other ontology quality and fitness support for integration and use phase (describe capability)

Maintenance

Promote reuse of ontology Yes
-- comment Optional remarks
Capture ontology errors during use No
-- comment Optional remarks
Profile use of ontology elements during use No
-- comment Optional remarks
Compare and map between ontologies No
-- comment Optional remarks
Track ontology changes and control versions No
-- comment Optional remarks
Other ontology quality and fitness support for maintenance phase (describe capability)