From ONTORULE Show Case

Contents 1 Main Page 2 Project Partners 3 Business Scenarios 4 Implemented Components 5 Theoretical Work 6 Abstract Components 7 Exchange Formats

Main Page

• Personas
• ONTORULE High Level Work Flow
• Concrete Implementation

Project Partners

Business Scenarios

• AUDI Business Orchestration Scenario
• AUDI CAx Business Scenario
• ArcelorMittal Steel Industry Business Scenario

Implemented Components

Theoretical Work

• FUB Combining Production Rules and Ontologies: Tight and Loose Coupling
• FUB Embedding of propositional production systems into μ- calculus, and first-order production systems into fixpoint logic
• FUB First-order deontic-alethic logic (FODAL)
• FUB Generalized Ontology-based Production Systems
• FUB Production systems and ontologies integration via Transaction Logic with Partially Defined Actions
• TUWIEN Paraconsistent Hybrid Theories
• TUWIEN Stepping Approach for DL-Programs
• TUWIEN f-hybrid Knowledge Bases

Abstract Components

Exchange Formats