Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL
summary
Claims that MSER entailment over OWL 2 QL can be handled by Hybrid Knowledge Bases through a pair of translations: one that keeps the original metamodeling ontology partly in the OWL component and one that maps SPARQL queries including SPARQL metaqueries to rule queries. Implementation targets the HEXLite-owl-api-plugin so existing hybrid reasoners can run the resulting programs. Experimental evaluation reports a working prototype that makes MS-style metamodeling reasoning practically feasible compared to prior full Datalog translations.
AI-written summary · about
chapters (29)
- 0:00Introduction
- 3:00About Me
- 4:36Procedural Content Generation
- 10:42Procedural Content Generation Motivation
- 12:23Parametric Design
- 14:38generative space
- 15:40Outline
- 16:33Motivation
- 18:02P5JS
- 19:20Cellular Automata
- 20:39No Cell
- 21:23Answer Set Programming
- 22:46Stable Models
- 23:17Choice Rule
- 25:28Integrity Constraint
- 26:55Logic Variables
- 28:01Constraints
- 28:28Hardcoded Parts
- 29:07Answer Sets
- 29:31Clinko
- 29:47Workflow
- 30:45Duality
- 31:59Examples
- 33:09Structure Editor
- 34:51Terrain Generation Program
- 40:37Discussion
- 53:53Conclusion
- 54:19Resources
- 55:29Questions
related talks
23mKnowledge Graphs and LLMs in Action
44mBuilding Knowledge Graphs
33mAI Context Engineering for R&D Knowledge Using a Multi-Model Database
41mMorel, a functional query language
21mMastering Knowledge Graph Transformations Without Compromising Meaning- 44mBuilding Knowledge Graphs
29mfor Semantic Models of Engineering Specifications that Enable Digital Threads
35mLogical Interfaces to Data, Beyond Views