BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Italy
1 × USA
Collaborated with:
S.Rudolph Y.Kazakov F.Simancik J.Urbani C.J.H.Jacobs I.Dragoste D.Carral B.C.Grau I.Horrocks C.Kupke D.Magka B.Motik Z.Wang
Talks about:
descript (4) logic (4) queri (2) nomin (2) construct (1) practic (1) complex (1) clarifi (1) system (1) schema (1)

Person: Markus Krötzsch

DBLP DBLP: Kr=ouml=tzsch:Markus

Facilitated 1 volumes:

PODS 2012Ed

Contributed to:

KR 20142014
PODS 20132013
KR 20122012
IJCAR 20182018

Wrote 5 papers:

KR-2014-KrotzschR #logic
Nominal Schemas in Description Logics: Complexities Clarified (MK, SR).
PODS-2013-RudolphK #data access #query
Flag & check: data access with monadically defined queries (SR, MK), pp. 151–162.
KR-2012-GrauHKKMMW #logic #query
Acyclicity Conditions and their Application to Query Answering in Description Logics (BCG, IH, MK, CK, DM, BM, ZW).
KR-2012-KazakovKS #logic #product line #reasoning
Practical Reasoning with Nominals in the EL Family of Description Logics (YK, MK, FS).
IJCAR-2018-UrbaniKJDC #logic #performance
Efficient Model Construction for Horn Logic with VLog - System Description (JU, MK, CJHJ, ID, DC), pp. 680–688.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.