资 源 简 介
The tool allows to check satisfiability of a description logic formula given a knowledge base. If the formula is satisfiable, a model will be provided, if not, a proof that demonstrates the unsatisfiability of the formula.
A second component of the program allows to check that given models and proofs are valid.
文 件 列 表
ConsoleOutput.hs
ConsoleOutput_test.hs
GlobalTests.hs
Main.hs
ModelChecker.hs
ModelChecker_test.hs
Model.hs
Model_test.hs
OutputModel.hs
OutputModel_test.hs
OutputProof.hs
OutputProof_test.hs
Parser.y
Parser_test.hs
ProofChecker.hs
ProofChecker_test.hs
Proof.hs
ProofSearch.hs
ProofSearch_test.hs
Proof_test.hs
ProofUtils.hs
ps-pc.cabal
Reader.hs
Reader_test.hs
README
runtests.sh
Setup.hs
Signature.hs
Signature_test.hs
TestMain.hs
TestUtils.hs
HelpText.hs
