Macleod
type: Ontology
creation date: 2025-12-06T16:05:20+00:00
imports: http://semantic-mediawiki.org/swivt/1.0

Macleod
type: Subject
type: Category:OntologySummit2013 Survey
page: https://ontologforum.com/index.php/Macleod
wiki namespace: 0
wiki page content language: en
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
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 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.
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 UR is: false
enforce proper use and coding of UR is comments: Optional remarks
enforce proper use of conjunctions versus disjunctions: false

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

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