Business Models Optimization for Quality (BIMLOQ)

The main aim of Business Models Optimization for Quality (BIMLOQ) is to build a declarative model for business processes, including business rules specification, with an emphasis on analysis and optimization of those processes.

• Semantic: lack of a common ontology, lack of unified semantics, difficult unambiguous logical representation.
• Functional: aims and tasks in the business logic layer cannot be mapped to logical quality assessment methods.
• Technical: technologies used in the visual design layer are incompatible with the declarative logical representation.

• Conceptual: declarative model for logical business process representation and analysis.
• Practical:
  • new tools for analysis and optimisation of specification quality,
  • integration of visual BPMN tools and logical knowledge processing.
• Evaluative: modeling and analysis of real-life application use cases.

Expected benefits:

• Real-time quality assessment during development.
• Maintainability assurance.
• Formal analysis of business software quality.
• High adaptability in dynamic environments.

• 14.04.2011 The BIMLOQ Project Overview presentation during the Explicite Seminar (more on the Explicite website) presentation.pdf

<BIBTEX: file=bimloq>

PelletHeaRT is a prototype of a hybrid rule reasoner for ontologies. It assumes an integration of classic forward chaining rule reasoning implemented by HeaRT with the Pellet resoner. The project and implementation is based on a proposal of integrating Attribute Logic with Set Values over Finite Domains (ALSV(FD)) and Description Logics (DL).

• LNCS/LNAI 6359/2010 Paper: Pellet-HeaRT – Proposal of an Architecture for Ontology Systems with Rules (2010)
• TCCI II, LNCS/LNAI 6450/2010 Paper: Integration Proposal for Description Logic and Attributive Logic – Towards Semantic Web Rules (2010)

project completed_project

Go back to → projects