f.ml.bundle.2.3.1.source-code.bundle-conf-info.xml Maven / Gradle / Ivy

Go to download
<?xml version="1.0" encoding="UTF-8"?>
<!--
 This file is part of LEAP.

 LEAP was implemented as a plugin of DL-Learner http://dl-learner.org, 
 but some components can be used as stand-alone.

 LEAP is free software; you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
 the Free Software Foundation; either version 3 of the License, or
 (at your option) any later version.

 LEAP is distributed in the hope that it will be useful,
 but WITHOUT ANY WARRANTY; without even the implied warranty of
 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 GNU General Public License for more details.

 You should have received a copy of the GNU General Public License
 along with this program.  If not, see <http://www.gnu.org/licenses/>.

-->

<bundle section="1">
    <name>
        \- executes BUNDLE algorithm
    </name>
    <synopsys>
        <usages>
            <usage>
                <optional>OPTIONS</optional>
                <required>
                    <args>
                        <arg>FILE_URI</arg>
                    </args>
                </required>
            </usage>
        </usages>
    </synopsys>
    <description>
        Bundle: Explains one or more inferences in a given ontology including ontology inconsistency
    </description>
    <options>
        <option name="help" alias="h" max-args="0">
            <description>
                print help page
            </description>
        </option>
        <option name="verbose" alias="v" max-args="0">
            <description>
                Print detailed exceptions and messages about the progress
            </description>
        </option>
        <option name="config" alias="C" max-args="1" arg-name="FILE">
            <description>
                Use the selected configuration file
            </description>
        </option>
        <option name="ignore-imports" max-args="0">
            <description>
                Ignore imported ontologies 
            </description>
        </option>
        <option name="unsat" max-args="1" arg-name="C">
            <description>
                Explain why the given class <arg-name/> is unsatisfiable
            </description>
        </option>
        <option name="all-unsat" max-args="0">
            <description>
                Explain all unsatisfiable classes 
            </description>
        </option>
        <option name="inconsistent" max-args="0">
            <description>
                Explain why the ontology is inconsistent
            </description>
        </option>
        <option name="hierarchy" max-args="0">
            <description>
                Print all explanations for the class hierarchy
            </description>
        </option>
    </options>
</bundle>