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 × Germany
1 × Italy
1 × USA
1 × United Kingdom
2 × Australia
2 × Canada
Collaborated with:
I.Horrocks B.C.Grau U.Sattler Y.Kazakov B.Glimm R.Shearer U.Hustadt M.Krötzsch C.Kupke D.Magka Z.Wang
Talks about:
descript (6) logic (5) reason (4) optim (2) use (2) hypertableaux (1) structur (1) procedur (1) individu (1) disjunct (1)

Person: Boris Motik

DBLP DBLP: Motik:Boris

Contributed to:

KR 20122012
IJCAR 20102010
KR 20102010
IJCAR 20082008
KR 20082008
CADE 20072007
IJCAR 20062006
KR 20042004

Wrote 8 papers:

KR-2012-GrauHKKMMW #logic #query
Acyclicity Conditions and their Application to Query Answering in Description Logics (BCG, IH, MK, CK, DM, BM, ZW).
IJCAR-2010-GlimmHM #logic #reasoning
Optimized Description Logic Reasoning via Core Blocking (BG, IH, BM), pp. 457–471.
KR-2010-GrauM #ontology #reasoning
Pushing the Limits of Reasoning over Ontologies with Hidden Content (BCG, BM).
IJCAR-2008-MotikH #logic #reasoning #reuse
Individual Reuse in Description Logic Reasoning (BM, IH), pp. 242–258.
KR-2008-MotikGHS #graph #representation #using
Representing Structured Objects using Description Graphs (BM, BCG, IH, US), pp. 296–306.
CADE-2007-MotikSH #logic #reasoning #using
Optimized Reasoning in Description Logics Using Hypertableaux (BM, RS, IH), pp. 67–83.
A Resolution-Based Decision Procedure for SHOIQ (YK, BM), pp. 662–677.
KR-2004-HustadtMS #datalog #logic #source code
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs (UH, BM, US), pp. 152–162.

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.