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: Motik:Boris
Contributed to:
2012
2010201020082008
200720062004Wrote 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.
- IJCAR-2006-KazakovM
- 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.