From OntologPSMW

Jump to: navigation, search
OntoUML Suite
Accept validation test sets or inputs false  +
Accept validation test sets or inputs comments In one sense, since the tool does automatic detection of modeling anti-patterns
Apply a style of ontological analysis to design true  +
Assess accuracy, correctness, and completeness of ontology terminological content false  +
Assess accuracy, correctness, and completeness of ontology terminological content comments The tool automatically checks for logical The tool automatically checks for logical consistency and allows for finite satisfiability checking. Moreover, the tool employs an approach of model validation via visual simulation which aims at detecting differences between the intended logical models of an ontology and the possible ones. dels of an ontology and the possible ones.
Assess and enforce consistency and completeness of inverse relations false  +
Assess and enforce consistency and completeness of inverse relations comments not applicable
Assess and enforce consistency and completeness of range and domain constraints false  +
Assess and enforce consistency and completeness of range and domain constraints comments The tool employs an approach of model validation via visual simulation which aims at detecting differences between the intended logical models of an ontology and the possible ones.
Assess complexity of concept definitions (necessary and sufficient properties) and use of axioms true  +
Assess complexity of concept definitions (necessary and sufficient properties) and use of axioms comments The tool employs an approach of model validation via visual simulation which aims at detecting differences between the intended logical models of an ontology and the possible ones.
Assess correctness or performance of an ontology design true  +
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 true  +
Assess or characterize breadth of domain coverage of an ontology comments Idem previous question
Assess or characterize depth or detail of domain coverage of an ontology true  +
Assess or characterize depth or detail of domain coverage of an ontology comments Idem previous question
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 true  +
Assess query precision and recall performance comments see previous response
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 The tool employs an approach of model validation via visual simulation which aims at detecting differences between the intended logical models of an ontology and the possible ones.
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 true  +
Assure semantically adequate computability of ontology comments The tool automatically checks for logical The tool automatically checks for logical consistency and allows for finite satisfiability checking. Moreover, the tool employs an approach of model validation via visual simulation which aims at detecting differences between the intended logical models of an ontology and the possible ones. dels of an ontology and the possible ones.
Author Ontology and Conceptual Modeling Research Group (NEMO  +
Capture ontology errors during use false  +
Capture ontology errors during use comments not sure what exactly is mean by the question
Choose RDF support true  +
Choose RDF support comments see previous response
Choose extant core ontologies for reuse false  +
Choose extant core ontologies for reuse comments Optional remarks
Choose extant top ontology for reuse true  +
Choose formal logic language true  +
Choose formal logic language comments see previous response
Choose metaphysical methodology true  +
Choose ontology language true  +
Compare and map between ontologies false  +
Compare and map between ontologies comments Optional remarks
Compare domain coverage across ontologies true  +
Compare domain coverage across ontologies comments Idem previous question
Contact gguizzardi@inf.ufes.br  +
Create mappings from ontologies to and from data and data sources false  +
Create mappings from ontologies to and from data and data sources comments Optional remarks
Detect and guide use of multiple inheritance true  +
Detect and guide use of multiple inheritance comments This is guaranteed to be corrected by design in the language.
Detect violations of domain, referential, or semantic integrity true  +
Distinguish between conceptual and operational ontologies and objectives true  +
Download page http://nemo.inf.ufes.br/en/ontoumlsupport  +
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 true  +
Enable user to modify or extend ontology to address deficiencies comments Optional remarks
Enforce proper use and coding of URIs false  +
Enforce proper use and coding of URIs comments Optional remarks
Enforce proper use of conjunctions versus disjunctions false  +
Enforce proper use of conjunctions versus disjunctions comments Optional remarks
Ensure kind-of nature and consistency of subclassing true  +
Ensure kind-of nature and consistency of subclassing comments Optional remarks
Ensure proper separation and coding of concepts and facts true  +
Ensure proper separation and coding of concepts and facts comments OntoUML is a schema-level language. Facts are automatically generated for the purpose of validation via visual simulation.
Ensure proper use and coding of RDF and Web resources false  +
Ensure proper use and coding of RDF and Web resources comments not sure what is exactly meant by the question
Ensure proper use and coding of data types true  +
Ensure proper use and coding of data types comments OntoUML has a extensive theory of Datatypes based on Gardenfors�� theory of Conceptual Structures and Semantic Reference Spaces
Ensure proper use and coding of relations true  +
Ensure proper use and coding of relations comments In particular, the language embedds a theory of relations distinguising formal and material relations and guiding the use of different relations between relations (association subsetting, association redefinition and association subtyping).
Ensure proper use and coding of transitive relations true  +
Ensure proper use and coding of transitive relations comments In particular, for part-whole relations, the language contains a number of visual patterns for isolating the scope of transitivity of part-whole relations
Export ontology in different languages true  +
Facilitate framing a set of competency questions exemplifying ontology objectives false  +
Facilitate framing a set of competency questions exemplifying ontology objectives comments Optional remarks
Feedback on consistency of granularity and regularity of domain ontology structure true  +
Find ontologies with specific domain coverage true  +
Find ontologies with specific domain coverage comments The tool employs an approach of model validation via visual simulation which aims at detecting differences between the intended logical models of an ontology and the possible ones.
Full name of the tool OntoUML Supporting Tools  +
Generate characteristic queries and tests false  +
Generate characteristic queries and tests comments Optional remarks
Generate ontology application and performance requirements true  +
Generate ontology code from requirements specification true  +
Generate ontology code from requirements specification comments see previous response
Generate or enforce selected design patterns in ontology code true  +
Generate prototypical instances (individuals) to help verify class intent and class subsumption true  +
Generate prototypical instances (individuals) to help verify class intent and class subsumption comments This is one of the main features of ontology validation via visual simulation of instances across possible worlds.
Guide and facilitate modularization of ontology true  +
Guide application of open world or closed world semantics false  +
Guide application of open world or closed world semantics comments not sure what exactly is meant by the question
Guide design to optimize normalization, factoring, and simplicity of ontology true  +
Guide design to optimize normalization, factoring, and simplicity of ontology comments This is achieved by the higher-granularity building blocks of the language which are ontological design patterns that reflect the microtheories of the underlying foundational ontology.
Guide formulation of data and information requirements false  +
Guide formulation of data and information requirements comments Optional remarks
Guide formulation of domain scope and detail requirements false  +
Guide formulation of domain scope and detail requirements comments Optional remarks
Guide formulation of goodness of design requirements false  +
Guide formulation of goodness of design requirements comments Optional remarks
Guide formulation of interface requirements false  +
Guide formulation of interface requirements comments Optional remarks
Guide formulation of level of effort requirements false  +
Guide formulation of level of effort requirements comments Optional remarks
Guide formulation of semantic and reasoning requirements false  +
Guide formulation of semantic and reasoning requirements comments Optional remarks
Guide ontology design for visualization true  +
Guide ontology design to achieve inferencing requirements true  +
Guide ontology design to achieve scalability requirements false  +
Guide ontology development per a quality assurance methodology true  +
Guide or adjust ontology in accord with validation results true  +
Guide or adjust ontology in accord with validation results comments For instance, it allows for proactive detection and rectification of modeling anti-patterns
Guide subclass versus class individual determinations false  +
Guide use of disjointness axioms false  +
Guide use of disjointness axioms comments Optional remarks
Guide use of existential versus universal quantification in class restrictions false  +
Guide use of existential versus universal quantification in class restrictions comments Optional remarks
Guide use of necessary and sufficient properties in concept definitions false  +
Guide use of necessary and sufficient properties in concept definitions comments Optional remarks
Identify age and use statistics of an ontology and its versions false  +
Identify age and use statistics of an ontology and its versions comments Optional remarks
Identify frequency of use of ontology language features in an ontology false  +
Identify frequency of use of ontology language features in an ontology comments Optional remarks
Identify number and ratio of concepts, relations, and subclassing false  +
Identify number and ratio of concepts, relations, and subclassing comments Optional remarks
Institutional sponsor Federal University of Esp��rito Santo (UFES)  +
Integrate ontology with other information system resources true  +
Integrate ontology with other ontologies true  +
Integrate ontology with other ontologies comments Optional remarks
Integrate selected design patterns into an ontology design true  +
License GNU GPL v3  +
Link to the tool http://nemo.inf.ufes.br/en/ontoumlsupport  +
Manage lexical naming and annotation of ontology elements true  +
Mix ontology languages true  +
Mix ontology languages comments see previous response
Monitor depth of subclassing consistency across a domain ontology false  +
Monitor depth of subclassing consistency across a domain ontology comments Optional remarks
Offer application patterns based on current ontology or design context false  +
Offer application patterns based on current ontology or design context comments Optional remarks
Offer methodology patterns based on current ontology or design context false  +
Offer methodology patterns based on current ontology or design context comments idem to previous response
Offer ontology language patterns based on current ontology or design context true  +
Offer ontology language patterns based on current ontology or design context comments OntoUML is a pattern language. The language is structured in higher-granularity modeling primitives which are ontological design patterns. These design patterns reflect ontological microtheories from the underlying foundational ontology.
Offer other patterns based on current ontology or design context true  +
Optimize query and inference performance false  +
Optimize query and inference performance comments Optional remarks
Organize and maintain a collection of related ontologies and ontology modules false  +
Organize and maintain a collection of related ontologies and ontology modules comments Optional remarks
Organize and track the life cycle requirements and progression of an ontology false  +
Organize and track the life cycle requirements and progression of an ontology comments Optional remarks
Overall, detect and correct coding errors or inconsistencies false  +
Overall, detect and correct coding errors or inconsistencies comments see previous response
Produce the current terminological inferences of an ontology true  +
Produce the current terminological inferences of an ontology comments Optional remarks
Profile use of ontology elements during use false  +
Profile use of ontology elements during use comments not sure what exactly is mean by the question
Promote reuse of ontology true  +
Provide statistics on ontology versioning and use false  +
Provide statistics on ontology versioning and use comments Optional remarks
Rate ontologies on their popularity or review feedback false  +
Rate ontologies on their popularity or review feedback comments Optional remarks
Tool home page http://nemo.inf.ufes.br/en/ontoumlsupport  +
Track ontology changes and control versions false  +
Track ontology changes and control versions comments Optional remarks
Validate instance data conforming to an ontology false  +
Validate instance data conforming to an ontology comments Optional remarks
Validate the intended functionality of software using the ontology false  +
Validate the intended functionality of software using the ontology comments Optional remarks
Verify that ontology requirements are met true  +
Verify that ontology requirements are met comments The tool employs an approach of model vali The tool employs an approach of model validation via visual simulation which aims at detecting differences between the intended logical models of an ontology and the possible ones. In this manner, the tool allows for the detection of both over- and underconstraining. ction of both over- and underconstraining.
Verify that two ontologies are interoperable true  +
Verify that two ontologies are interoperable comments It does check if the integration of two ontologies creates and logically consistent (via OCL constraint checking) and finetely satisfiable model (via mapping to Alloy)
Categories OntologySummit2013 Survey  +
Modification dateThis property is a special property in this wiki. 9 January 2016 07:45:48  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.