Feier, C., Eiter, T., Kifer, M., Mosca, A., Rezk, M., Rosati, R., Ortiz de la Fuente, M. M., Simkus, M., Tran, T.-K., & Xiao, G. (2011). D3.4 Converged and Optimized Combinations of Rules and Ontologies (D3.4). http://hdl.handle.net/20.500.12708/37097
E192-03 - Forschungsbereich Knowledge Based Systems E192-02 - Forschungsbereich Databases and Artificial Intelligence
Number of Pages:
Datalog rewritability; Horn-SHIQ; KAOS; Open Answer Programming; optimal reasoning with FoLPs; Transaction Logic with Partially Defined Actions; Generalized Ontology-based Production Systems; ACTHEX; higher-arity FDNC
The deliverable continues the work in D3.3 on optimized combinations of rules and ontologies, both on the logical programming side and on the production rule side: it presents new results concerning reasoning with Datalon-rewritable ontologies and Forest Logic Programs, and the specification of new combinations of production rule systems and ontologies. Further on, it adresses issues concerning the integration of both types of combinations: based on logical rules and based on production rules.