https://github.com/bwconrad/kernel-belief-contraction

Kernel Belief Contraction for EL++ Ontologies
https://github.com/bwconrad/kernel-belief-contraction

Last synced: about 1 month ago
JSON representation

Kernel Belief Contraction for EL++ Ontologies

• Host: GitHub
• URL: https://github.com/bwconrad/kernel-belief-contraction
• Owner: bwconrad
• License: gpl-3.0
• Created: 2019-08-13T15:14:08.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2020-12-26T16:28:48.000Z (about 4 years ago)
• Last Synced: 2024-05-14T00:18:10.297Z (8 months ago)
• Language: Java
• Homepage: https://bwconrad.github.io/2019/07/05/belief-contractions-on-large-ontologies-with-minimal-knowledge-loss.html
• Size: 103 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# EL++ Belief Contraction 

A system for removing axioms from EL++ ontologies using the kernel contraction

algorithm and a total preorder rule to minimize information loss. A detailed explaination of the

algorithms used can be found

[here](https://bwconrad.github.io/2019/07/05/belief-contractions-on-large-ontologies-with-minimal-knowledge-loss.html). 

## Installation

This is a Maven project that was developed in Eclipse. Pom file contains all dependencies 

that need to be installed. 

## Usage

Run 'beliefContraction' using the program arguments described below:

+ **Arguments**:     (ex. input.owl output.owl "A SubClass B" -s)

    + __inputFile__: An OWL ontology file. All axioms not allowed in OWL-EL

      are automatically removed. 

    + __outputFile__: File name for contracted ontology.

    + __belief__: The belief that you wish to contract. Written in [Manchester

      syntax](https://www.w3.org/TR/owl2-manchester-syntax/#Formal_Description_for_Mapping_to_OWL_2_Functional-Style_Syntax).

    + __method__: The aglorithm used to select the drop set.

        + -s: chooses the most specific hitting set

        + -n: chooses any min hitting set

The 'test-ontologies' directory contains sample OWL ontologies that can be used as input. 

## Examples

1) **Arguments**: ../test-ontologies/small-1.owl ../out.owl "A SubClassOf G" -s

> Belief: SubClassOf(\\)


> Kernels: 

> 1) EquivalentClasses(\\) SubClassOf(\\) SubClassOf(\\)


> Dropping: SubClassOf(\\)


2) **Arguments**:  ../test-ontologies/eqiv.owl ../out.owl "A SubClassOf G" -s

> Belief: SubClassOf(\\)


> Kernels:  

> 1) SubClassOf(\\) EquivalentClasses(\ ObjectSomeValuesFrom(\\))

> SubClassOf(\\) EquivalentClasses(\\) EquivalentClasses(\

> ObjectSomeValuesFrom(\\)) 

> 2) EquivalentClasses(\\) SubClassOf(ObjectSomeValuesFrom(\\)\) SubClassOf(\ ObjectSomeValuesFrom(\\))


> Hitting Sets:

> 1) SubClassOf(\\) EquivalentClasses(\\)

> 2) SubClassOf(\\) SubClassOf(\ ObjectSomeValuesFrom(\\))


> Multiple minimum hitting sets. \

> Please choose which set to remove: 

1

> Dropping: 

SubClassOf(\\) EquivalentClasses(\\ )