aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/CanonicalModel.scala
Commit message (Expand)AuthorAgeFilesLines
* Reorganize project with Java-like folder structureFederico Igne2020-11-181-278/+0
* Rename internal predicate "EquivTo" to "congruent"Federico Igne2020-11-181-5/+5
* Rework RSA as a utility objectFederico Igne2020-11-181-38/+24
* Remove implicit RSAOntology conversionFederico Igne2020-11-171-0/+292
* Rework canonical model computationFederico Igne2020-11-061-255/+0
* Update code to RDFox v4.0Federico Igne2020-11-051-33/+40
* Add unit tests for example2.owl for the canonical model computationFederico Igne2020-10-281-1/+1
* Fix bug in conflict set computationFederico Igne2020-10-211-2/+2
* Simplify ProgramGenerator constructorFederico Igne2020-10-091-11/+14
* Complete generation of logic program for the canonical modelFederico Igne2020-10-061-18/+34
* Add generation of rules for safe T5 axiomsFederico Igne2020-10-051-4/+139
* Add rule generation for unsafe T5 axioms for canonical modelFederico Igne2020-09-301-10/+18
* Add generation for forward/backwards rulesFederico Igne2020-09-251-5/+34
* Add skeleton for canonical model generationFederico Igne2020-09-241-0/+57
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-12 02:35:03 +0000