From OntologPSMW

Jump to: navigation, search
Macleod
Accept validation test sets or inputs true  +
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 true  +
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 proving formally expressed compentency questions
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 Torsten Hahmann  +
Capture ontology errors during use false  +
Capture ontology errors during use comments Optional remarks
Choose RDF support false  +
Choose RDF support comments Optional remarks
Choose extant core ontologies for reuse true  +
Choose extant core ontologies for reuse comments any from COLORE
Choose extant top ontology for reuse true  +
Choose extant top ontology for reuse comments any from COLORE
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 true  +
Compare and map between ontologies comments mappings/interpretations between ontologies
Compare domain coverage across ontologies false  +
Compare domain coverage across ontologies comments Optional remarks
Contact torsten@cs.toronto.edu  +
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
Description of the tool This program consists of a set of scripts This program consists of a set of scripts designed for key reasoning tasks frequently encountered in ontology design and verification. At the moment it focuses on automating tasks that can be accomplished independent of the semantic of concepts and relations. These tasks are consistency checking of ontologies and their modules as well as checking whether competency questions, providing as ''lemmas'', are entailed. While the program primarily targets first-order ontologies specified in the Common Logic (CL) syntax, some parts of it can also be used for reasoning about ontologies in LADR (Prover9/Mace4) or TPTP syntax (accepted by many first-order theorem provers and model finders). The tasks are accomplished by running existing automated theorem provers and model finders in parallel to establish consistency or inconsistency of an ontology or a module thereof, or to prove a sentence from an ontology (or module) or to find a counterexample of the sentence. Moreover, the tool exploits the modularity of ontologies, which manifests itself in its file CL imports structure. In the near future it will be integrated with COLORE to provide design, verification, and other reasoning support for all ontologies in the repository. port for all ontologies in the repository.
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 false  +
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
Download page https://github.com/thahmann/macleod/archive/master.zip  +
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 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 false  +
Ensure proper separation and coding of concepts and facts comments Optional remarks
Ensure proper use and coding of RDF and Web resources false  +
Ensure proper use and coding of RDF and Web resources comments Optional remarks
Ensure proper use and coding of data types false  +
Ensure proper use and coding of data types comments Optional remarks
Ensure proper use and coding of relations false  +
Ensure proper use and coding of relations comments Optional remarks
Ensure proper use and coding of transitive relations false  +
Ensure proper use and coding of transitive relations comments Optional remarks
Export ontology in different languages true  +
Export ontology in different languages comments currently supported: TPTP, LADR (Prover9/Mace4)
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 false  +
Feedback on consistency of granularity and regularity of domain ontology structure comments Optional remarks
Find ontologies with specific domain coverage false  +
Find ontologies with specific domain coverage comments Optional remarks
Full name of the tool Macleod - Common Logic Environment for Ontology Development  +
Generate characteristic queries and tests false  +
Generate characteristic queries and tests comments Optional remarks
Generate ontology application and performance requirements false  +
Generate ontology application and performance requirements comments Optional remarks
Generate ontology code from requirements specification false  +
Generate ontology code from requirements specification comments Optional remarks
Generate or enforce selected design patterns in ontology code false  +
Generate or enforce selected design patterns in ontology code comments Optional remarks
Generate prototypical instances (individuals) to help verify class intent and class subsumption false  +
Generate prototypical instances (individuals) to help verify class intent and class subsumption comments Optional remarks
Guide and facilitate modularization of ontology true  +
Guide and facilitate modularization of ontology comments Optional remarks
Guide application of open world or closed world semantics false  +
Guide application of open world or closed world semantics comments Optional remarks
Guide design to optimize normalization, factoring, and simplicity of ontology false  +
Guide design to optimize normalization, factoring, and simplicity of ontology comments Optional remarks
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 false  +
Guide ontology design for visualization comments Optional remarks
Guide ontology design to achieve inferencing requirements false  +
Guide ontology design to achieve inferencing requirements comments Optional remarks
Guide ontology design to achieve scalability requirements false  +
Guide ontology design to achieve scalability requirements comments Optional remarks
Guide ontology development per a quality assurance methodology false  +
Guide ontology development per a quality assurance methodology comments Optional remarks
Guide or adjust ontology in accord with validation results false  +
Guide or adjust ontology in accord with validation results comments Optional remarks
Guide subclass versus class individual determinations false  +
Guide subclass versus class individual determinations comments Optional remarks
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 University of Toronto  +
Integrate ontology with other information system resources false  +
Integrate ontology with other information system resources comments Optional remarks
Integrate ontology with other ontologies false  +
Integrate ontology with other ontologies comments Optional remarks
Integrate selected design patterns into an ontology design false  +
Integrate selected design patterns into an ontology design comments Optional remarks
License GNU GPL  +
Link to the tool https://github.com/thahmann/macleod  +
Manage lexical naming and annotation of ontology elements false  +
Manage lexical naming and annotation of ontology elements comments Optional remarks
Mix ontology languages false  +
Mix ontology languages comments Optional remarks
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 Optional remarks
Offer ontology language patterns based on current ontology or design context false  +
Offer ontology language patterns based on current ontology or design context comments Optional remarks
Offer other patterns based on current ontology or design context false  +
Offer other patterns based on current ontology or design context comments Optional remarks
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 true  +
Overall, detect and correct coding errors or inconsistencies comments Optional remarks
Produce the current terminological inferences of an ontology false  +
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 Optional remarks
Promote reuse of ontology true  +
Promote reuse of ontology comments through mappings/interpretaions
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 https://github.com/thahmann/macleod  +
Track ontology changes and control versions true  +
Track ontology changes and control versions comments within COLORE
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 through competency questions
Verify that two ontologies are interoperable true  +
Verify that two ontologies are interoperable comments interpretations can be proved
Categories OntologySummit2013 Survey  +
Modification dateThis property is a special property in this wiki. 5 April 2013 02:33:50  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.