OOASP Object oriented Answer Set Programming
OOASP is a schema for describing object-oriented models with Answer Set Programming.
OOASP has been developed for research purposes to demonstrate how to describe and instantiate object-oriented models in Answer Set Programming. The main application area is product configuration, i.e., reasoning about product configuration models.
To run the examples we recommend to use clingo. See [https://potassco.org/clingo/] for installation instructions.
The racks example is a hardware configuration toy example similar to the running example of [http://cp2016.a4cp.org/program/workshops/ws-modref-papers/Taupe.pdf]
./examples/racks/ooasp_racks_kb.lp contains the knowledge base of the racks example
./examples/racks/ooasp_racks_1elementA.lp contains a partial configuration consisting of one elementA
The two main reasoning tasks of OOASP are checking & configuring.
The following is an example for checking a (partial) configuration:
clingo ooasp/ooasp.lp ooasp/ooasp_check.lp examples/racks/ooasp_racks_kb.lp examples/racks/ooasp_racks_1elementA.lpThis checks the configuration consisting of one elementA. The expected output will be something like:
ooasp_cv(i1,lowerbound1(element_modules,1))
ooasp_cv(i1,card_constraint1(element_modules,1))i.e. indicating that an elementA requires modules.
The following is an example for configuring a partial configuration i.e. finding complete configurations for a given partial configuration.
clingo ooasp/ooasp.lp ooasp/ooasp_check.lp ooasp/ooasp_config.lp examples/racks/ooasp_racks_kb.lp examples/racks/ooasp_racks_1elementA.lpOne possible solution is:
OOASP: Connecting Object-Oriented and Logic Programming (2015): Conference paper | Preprint