Data

Tools

Indexes

Applications

Experiments

Open Source Science

humusha

PoC: Ontology Pattern Substitution in FOL

https://github.com/wleightond/humusha

Science Score: 67.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ✓
    DOI references
    Found 2 DOI reference(s) in README
  • ✓
    Academic publication links
    Links to: zenodo.org
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (8.6%) to scientific vocabulary
Last synced: 10 months ago · JSON representation ·

Repository

PoC: Ontology Pattern Substitution in FOL

Basic Info
  • Host: GitHub
  • Owner: wleightond
  • License: gpl-2.0
  • Language: Haskell
  • Default Branch: main
  • Homepage:
  • Size: 30.7 MB
Statistics
  • Stars: 1
  • Watchers: 1
  • Forks: 0
  • Open Issues: 0
  • Releases: 2
Created almost 2 years ago · Last pushed over 1 year ago
Metadata Files
Readme License Citation

README.md

Humusha: Ontology Pattern Substitution in FOL Ontologies Proof-of-Concept Tool

DOI

A proof-of-concept tool for substituting ontology design patterns in first-order logic ontologies encoded in clif.

It includes pattern specifications in config.json, test ontologies in test_files/, and the raw result data in /output/

Usage

To get a shell environment with the required packages (requires nix):

nix develop
make utils

To make the binaries that find satisfied formulae

./humusha build-instance-finders

To run the full process for a given pattern, once instance finders and utils are built:

./humusha build-instance-finders
./humusha normalise-ontology  [ontology]
./humusha find-axiom-instances [pattern] [ontology]
./humusha make-substitutions [pattern] [ontology]
./humusha apply-substitutions [pattern] [ontology]

Licenses

Software is licensed under the GPL v2.0 (source code from HETS is a critical component and is itself licensed this way); ontologies retain their original licenses.

Preferred Citation

If you would like to cite this project, please cite the original publication:

Dawson, W.L., Keet, C.M. Ontology Pattern Substitution: Toward their use for domain ontologies. FOIS'24 Demonstrations Track. Enschede, The Netherlands, 15-19 July 2024. CEUR-WS (in print)

Owner

  • Name: W. Leighton Dawson
  • Login: wleightond
  • Kind: user
  • Company: @thinkst

Citation (CITATION.cff) 

cff-version: 1.2.0
title: Humusha
message: >-
  If you use this software, please cite it using the
  metadata from this file.
type: software
authors:
  - given-names: William Leighton
    family-names: Dawson
    orcid: 'https://orcid.org/0000-0002-2799-3570'
    affiliation: University of Cape Town
repository-code: 'https://github.com/wleightond/humusha'
abstract: >-
  As ontologies find an ever-larger number of applications,
  the diversity of domain ontologies and the requirements
  for their intended uses increases as well, creating
  challenges for interoperability and tooling. There are
  often multiple ways of modelling the same knowledge, which
  have coalesced into ontology patterns and modelling
  styles, and pattern alignments for perceived to
  semantically the same domain knowledge have been
  identified. To facilitate interoperability and
  applicability of foundational ontology-based modelling
  choices with domain ontologies and so-called application
  ontologies or conceptual data models, we propose a general
  framework for the substitution of one pattern for another.
  This can be applied by various methods, including purely
  syntactic comparisons. A proof-of-concept tool that
  implements such a syntax-based approach for FOL ontologies
  encoded in CLIF is demonstrated and evaluated against a
  set of DOLCE-aligned ontologies.
keywords:
  - Ontology Design Patterns
  - Foundational Ontologies
  - Application Ontologies
  - Ontology Development
  - Modelling Style
license: GPL-2.0
version: '1.0'
preferred-citation:
  authors:
    - given-names: William Leighton
      family-names: Dawson
      orcid: 'https://orcid.org/0000-0002-2799-3570'
      affiliation: University of Cape Town
    - given-names: C. Maria
      family-names: Keet
      affiliation: University of Cape Town
      orcid: 'https://orcid.org/0000-0002-8281-0853'
  title: "Ontology Pattern Substitution: Toward their use for domain ontologies"
  type: article
  journal: "CEUR Workshop Proceedings"
  year: 2024
  license: CC-BY-4.0

GitHub Events

Total
  • Release event: 1
  • Delete event: 1
  • Push event: 8
  • Pull request event: 2
  • Create event: 3
Last Year
  • Release event: 1
  • Delete event: 1
  • Push event: 8
  • Pull request event: 2
  • Create event: 3

Issues and Pull Requests

Last synced: 10 months ago

All Time
  • Total issues: 0
  • Total pull requests: 1
  • Average time to close issues: N/A
  • Average time to close pull requests: 2 minutes
  • Total issue authors: 0
  • Total pull request authors: 1
  • Average comments per issue: 0
  • Average comments per pull request: 0.0
  • Merged pull requests: 1
  • Bot issues: 0
  • Bot pull requests: 0
Past Year
  • Issues: 0
  • Pull requests: 1
  • Average time to close issues: N/A
  • Average time to close pull requests: 2 minutes
  • Issue authors: 0
  • Pull request authors: 1
  • Average comments per issue: 0
  • Average comments per pull request: 0.0
  • Merged pull requests: 1
  • Bot issues: 0
  • Bot pull requests: 0
View more stats
Top Authors
Issue Authors
Pull Request Authors
  • wleightond (1)
Top Labels
Issue Labels
Pull Request Labels

Dependencies

build/finders/finders.cabal hackage
  • base *
  • bytestring >=0.11.3.1 && <0.12
  • containers >=0.6.5.1 && <0.7
  • directory >=1.3.6.2 && <1.4
  • fgl *
  • filepath >=1.4.2.2 && <1.5
  • parsec *
  • process >=1.6.13.2 && <1.7
build/utils/utils.cabal hackage