Open AccessFrom Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment (Extended Version)
Author(s) -
David Carral,
Larry González,
Patrick Koopmann
Publication year - 2018
Publication title -
qucosa (saxon state and university library dresden)
Language(s) - English
Resource type - Reports
DOI - 10.25368/2022.249
Subject(s) - datalog , assertion , rewriting , computer science , axiom , ontology , programming language , web ontology language , logical consequence , extension (predicate logic) , feature (linguistics) , description logic , french horn , theoretical computer science , artificial intelligence , mathematics , semantic web , epistemology , linguistics , psychology , pedagogy , philosophy , geometry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom