BibSLEIGH — Frank

Travelled to:

1 × Austria
1 × Canada
1 × Denmark
1 × Estonia
1 × Germany
1 × Norway
1 × United Kingdom
2 × Australia
2 × France
2 × USA
3 × Italy

Collaborated with:

C.Lutz M.Zakharyaschev B.Konev M.Bienvenu R.Kontchakov ∅ M.Ludwig I.Seylan D.Walther P.A.Bonatti S.Ghilardi O.Kutz I.M.Hodkinson U.Sattler A.Ozaki B.t.Cate F.Baader D.K.Ponomaryov H.Liu M.Milicic H.Sturm E.Botoeva V.Ryzhikov D.Toman

Talks about:

logic (19) descript (15) ontolog (6) queri (5) tempor (4) base (4) differ (3) data (3) lightweight (2) fragment (2)

Person: Frank Wolter

DBLP: Wolter:Frank

Contributed to:

2014

2013

2012

2011

2010

2008

2007

2006

2005

2002

2001

2000

1998

Wrote 24 papers:

KR-2014-BotoevaKRWZ #knowledge base #logic #query: Query Inseparability for Description Logic Knowledge Bases (EB, RK, VR, FW, MZ).
KR-2014-KonevLOW #learning #lightweight #logic #ontology: Exact Learning of Lightweight Description Logic Ontologies (BK, CL, AO, FW).
PODS-2013-BienvenuCLW #case study #csp #data access #datalog #ontology: Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP (MB, BtC, CL, FW), pp. 213–224.
IJCAR-2012-KonevLW #difference #logic: Logical Difference Computation with CEX2.5 (BK, ML, FW), pp. 371–377.
KR-2012-BienvenuLW #logic #query: Query Containment in Description Logics Reconsidered (MB, CL, FW).
KR-2012-LutzSW #approach #approximate #logic: An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL (CL, IS, FW).
KR-2012-LutzW #complexity #logic #query: Non-Uniform Data Complexity of Query Answering in Description Logics (CL, FW).
CSL-2011-Wolter #constraints #data access #ontology: Ontology-Based Data Access and Constraint Satisfaction (FW), p. 4.
KR-2010-BaaderBLW #logic #query: Query and Predicate Emptiness in Description Logics (FB, MB, CL, FW).
KR-2010-KonevLPW #logic #ontology: Decomposing Description Logic Ontologies (BK, CL, DKP, FW).
KR-2010-KontchakovLTWZ #approach #query: The Combined Approach to Query Answering in DL-Lite (RK, CL, DT, FW, MZ).
IJCAR-2008-KonevWW #difference #logic #problem: The Logical Difference Problem for Description Logic Terminologies (BK, DW, FW), pp. 259–274.
KR-2008-KontchakovWZ #difference #ontology #question: Can You Tell the Difference Between DL-Lite Ontologies? (RK, FW, MZ), pp. 285–295.
CADE-2007-LutzW #lightweight #logic: Conservative Extensions in the Lightweight Description Logic EL (CL, FW), pp. 84–99.
KR-2006-BonattiLW #logic: Description Logics with Circumscription (PAB, CL, FW), pp. 400–410.
KR-2006-GhilardiLW #logic #ontology: Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics (SG, CL, FW), pp. 187–197.
KR-2006-LiuLMW #logic: Updating Description Logic ABoxes (HL, CL, MM, FW), pp. 46–56.
CADE-2005-KonevWZ #logic #transitive: Temporal Logics over Transitive States (BK, FW, MZ), pp. 182–203.
KR-2002-KutzWZ: Connecting Abstract Description Systems (OK, FW, MZ), pp. 215–226.
LICS-2002-HodkinsonWZ #branch #decidability #first-order #logic: Decidable and Undecidable Fragments of First-Order Branching Temporal Logics (IMH, FW, MZ), pp. 393–402.
CSL-2001-LutzSW #logic: Modal Logic and the Two-Variable Fragment (CL, US, FW), pp. 247–261.
IJCAR-2001-LutzSWZ #constant #logic: Tableaux for Temporal Description Logic with Constant Domains (CL, HS, FW, MZ), pp. 121–136.
KR-2000-WolterZ #reasoning #representation: Spatio-temporal representation and reasoning based on RCC-8 (FW, MZ), pp. 3–14.
KR-1998-WolterZ #decidability #logic #on the: On the Decidability of Description Logics with Modal Operators (FW, MZ), pp. 512–523.