description logic fun
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
examples
ABoxSpec.groovy
DLSpec.groovy
Ontology.groovy
README.md
Reasoner.groovy
Rules.groovy
TBoxSpec.groovy

README.md

galcq

This is a relatively complete and basic ALCQ (Attributive Concept Language with Complements and Qualified cardinality restrictions) description logic reasoner, which supports verification of subsumption, consistency and satisfiability of ontologies with respect to given TBoxes and ABoxes by means of the Tableaux algorithm, additionally providing a suitable model universe for the ontology (or a contradictory model in the case of failure). It is not particularly quick, optimised, or bug-free, but it mostly works. It also implements a prefix notation domain specific language for description logic, which allows the expression of ontologies without too much pain.

Here is some example output:

groovy examples/happysubsumption.groovy

Quickstart

Check out some of the examples:

groovy examples/happysubsumption.groovy

groovy examples/sleepybiscuit.groovy

groovy examples/sadsubsumption.groovy

groovy examples/childconsistency.groovy