Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming.
Laura GiordanoDaniele Theseider DupréPublished in: BPM (Forum) (2018)
Keyphrases
- business processes
- answer set programming
- reasoning tasks
- business process
- knowledge representation
- logic programming
- logic programs
- knowledge base
- business process modeling
- web services
- answer sets
- modulo theories
- process model
- model driven development
- answer set programs
- business rules
- workflow management systems
- stable models
- business environment
- business process management
- business process models
- inter organizational
- databases
- dl lite
- production rules
- semantic web
- process execution
- business objectives
- satisfiability modulo theories
- declarative programming
- business partners
- case study
- data mining