From Horn-SRIQ to datalog: A data-independent transformation that preserves assertion entailment

David Carral; Larry Gonzalez; Patrick Koopmann

From Horn-SRIQ to datalog: A data-independent transformation that preserves assertion entailment

David Carral, Larry Gonzalez, Patrick Koopmann

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	DL 2019 - Proceedings of the 32nd International Workshop on Description Logics
Editors	M. Simkus, G. Weddell
Publisher	CEUR-WS
Volume	2373
Publication status	Published - 2019
Externally published	Yes
Event	32nd International Workshop on Description Logics, DL 2019 - Oslo, Norway Duration: 18 Jun 2019 → 21 Jun 2019

Publication series

Name	CEUR Workshop Proceedings
ISSN (Print)	1613-0073

Conference

Conference	32nd International Workshop on Description Logics, DL 2019
Country/Territory	Norway
City	Oslo
Period	18/06/19 → 21/06/19

Funding

Acknolwedgements. The first two authors are funded by Deutsche Forschungs-gemeinschaft in project number 389792660 (TRR 248, Center for Perspicuous Systems) and Emmy Noether grant KR 4381/1-1 (DIAMOND). The third author is funded by DFG in the CRC 912 (HAEC).

Funders	Funder number
Deutsche Forschungs-gemeinschaft	TRR 248
HAEC
Deutsche Forschungsgemeinschaft	KR 4381/1-1, 389792660

Persistent URL (handle)

Copy link address

Cite this

@inproceedings{177947355a174b508cccbca113ad625c,

title = "From Horn-SRIQ to datalog: A data-independent transformation that preserves assertion entailment",

author = "David Carral and Larry Gonzalez and Patrick Koopmann",

year = "2019",

language = "English",

volume = "2373",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS",

editor = "M. Simkus and G. Weddell",

booktitle = "DL 2019 - Proceedings of the 32nd International Workshop on Description Logics",

note = "32nd International Workshop on Description Logics, DL 2019 ; Conference date: 18-06-2019 Through 21-06-2019",

}

Carral, D, Gonzalez, L & Koopmann, P 2019, From Horn-SRIQ to datalog: A data-independent transformation that preserves assertion entailment. in M Simkus & G Weddell (eds), DL 2019 - Proceedings of the 32nd International Workshop on Description Logics. vol. 2373, CEUR Workshop Proceedings, CEUR-WS, 32nd International Workshop on Description Logics, DL 2019, Oslo, Norway, 18/06/19.

From Horn-SRIQ to datalog: A data-independent transformation that preserves assertion entailment. / Carral, David; Gonzalez, Larry; Koopmann, Patrick.
DL 2019 - Proceedings of the 32nd International Workshop on Description Logics. ed. / M. Simkus; G. Weddell. Vol. 2373 CEUR-WS, 2019. (CEUR Workshop Proceedings).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - From Horn-SRIQ to datalog

T2 - 32nd International Workshop on Description Logics, DL 2019

AU - Carral, David

AU - Gonzalez, Larry

AU - Koopmann, Patrick

PY - 2019

Y1 - 2019

UR - http://www.scopus.com/inward/record.url?scp=85067203750&partnerID=8YFLogxK

M3 - Conference contribution

VL - 2373

T3 - CEUR Workshop Proceedings

BT - DL 2019 - Proceedings of the 32nd International Workshop on Description Logics

A2 - Simkus, M.

A2 - Weddell, G.

PB - CEUR-WS

Y2 - 18 June 2019 through 21 June 2019

ER -

From Horn-SRIQ to datalog: A data-independent transformation that preserves assertion entailment

Publication series

Conference

Funding

Persistent URL (handle)

Other files and links

Cite this