Deductive module extraction for expressive description logics

Patrick Koopmann; Jieying Chen

Deductive module extraction for expressive description logics

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

Original language	English
Title of host publication	DL 2020 - Proceedings of the 33rd International Workshop on Description Logics, co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
Editors	S. Borgwardt, T. Meyer
Publisher	CEUR-WS
Volume	2663
Publication status	Published - 2020
Externally published	Yes
Event	33rd International Workshop on Description Logics, DL 2020 - Virtual, Online, Greece Duration: 12 Sept 2020 → 14 Sept 2020

Publication series

Name	CEUR Workshop Proceedings
ISSN (Print)	1613-0073

Conference

Conference	33rd International Workshop on Description Logics, DL 2020
Country/Territory	Greece
City	Virtual, Online
Period	12/09/20 → 14/09/20

Funding

Patrick Koopmann is partially supported by the DFG grant 389793660 as part of TRR 248 (https://perspicuous-computing.science). Jieying Chen is supported by the SIRIUS centre, which is funded by the Norwegian Research Council, project number 237898, and is co-funded by its partner companies.

Funders	Funder number
Deutsche Forschungsgemeinschaft	389793660
Norges forskningsråd	237898

Persistent URL (handle)

Persistent link

Cite this

Koopmann, P., & Chen, J. (2020). Deductive module extraction for expressive description logics. In S. Borgwardt, & T. Meyer (Eds.), DL 2020 - Proceedings of the 33rd International Workshop on Description Logics, co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020 (Vol. 2663). (CEUR Workshop Proceedings). CEUR-WS.

Koopmann, Patrick ; Chen, Jieying. / Deductive module extraction for expressive description logics. DL 2020 - Proceedings of the 33rd International Workshop on Description Logics, co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020. editor / S. Borgwardt ; T. Meyer. Vol. 2663 CEUR-WS, 2020. (CEUR Workshop Proceedings).

@inproceedings{6986749bccb84a68b16f998670384be6,

title = "Deductive module extraction for expressive description logics",

author = "Patrick Koopmann and Jieying Chen",

year = "2020",

language = "English",

volume = "2663",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS",

editor = "S. Borgwardt and T. Meyer",

booktitle = "DL 2020 - Proceedings of the 33rd International Workshop on Description Logics, co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020",

note = "33rd International Workshop on Description Logics, DL 2020 ; Conference date: 12-09-2020 Through 14-09-2020",

}

Koopmann, P & Chen, J 2020, Deductive module extraction for expressive description logics. in S Borgwardt & T Meyer (eds), DL 2020 - Proceedings of the 33rd International Workshop on Description Logics, co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020. vol. 2663, CEUR Workshop Proceedings, CEUR-WS, 33rd International Workshop on Description Logics, DL 2020, Virtual, Online, Greece, 12/09/20.

Deductive module extraction for expressive description logics. / Koopmann, Patrick ; Chen, Jieying.
DL 2020 - Proceedings of the 33rd International Workshop on Description Logics, co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020. ed. / S. Borgwardt; T. Meyer. Vol. 2663 CEUR-WS, 2020. (CEUR Workshop Proceedings).

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

TY - GEN

T1 - Deductive module extraction for expressive description logics

AU - Koopmann, Patrick

AU - Chen, Jieying

PY - 2020

Y1 - 2020

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

M3 - Conference contribution

VL - 2663

T3 - CEUR Workshop Proceedings

BT - DL 2020 - Proceedings of the 33rd International Workshop on Description Logics, co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020

A2 - Borgwardt, S.

A2 - Meyer, T.

PB - CEUR-WS

T2 - 33rd International Workshop on Description Logics, DL 2020

Y2 - 12 September 2020 through 14 September 2020

ER -

Deductive module extraction for expressive description logics

Publication series

Conference

Funding

Persistent URL (handle)

Other files and links

Cite this