BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Canada
1 × Denmark
1 × France
1 × United Kingdom
2 × Italy
4 × USA
Collaborated with:
I.Horrocks M.Y.Vardi B.Parsia C.Lutz B.Motik J.Hladik F.Baader S.Bail M.Horridge R.S.Gonçalves B.Glimm O.Kutz U.Hustadt L.Tendera O.Kupferman G.Pan F.Wolter S.Tobies B.C.Grau
Talks about:
logic (8) descript (6) ontolog (3) complex (3) calculus (2) reason (2) shiq (2) owl (2) preliminari (1) categoris (1)

Person: Ulrike Sattler

DBLP DBLP: Sattler:Ulrike

Facilitated 1 volumes:

KR 2010Ed

Contributed to:

CIKM 20132013
KR 20122012
CIKM 20112011
KR 20082008
KR 20062006
KR 20042004
CADE 20032003
CADE 20022002
CSL 20012001
IJCAR 20012001
CADE 20002000
KR 19961996

Wrote 15 papers:

CIKM-2013-BailPS #logic #ontology #owl
The logical diversity of explanations in OWL ontologies (SB, BP, US), pp. 559–568.
KR-2012-HorridgePS #ontology
Justification Masking in Ontologies (MH, BP, US).
CIKM-2011-GoncalvesPS #categorisation #difference #logic #ontology #owl
Categorising logical differences between OWL ontologies (RSG, BP, US), pp. 1541–1546.
KR-2008-GlimmHS #query
Unions of Conjunctive Queries in SHOQ (BG, IH, US), pp. 252–262.
KR-2008-MotikGHS #graph #representation #using
Representing Structured Objects using Description Graphs (BM, BCG, IH, US), pp. 296–306.
KR-2006-HorrocksKS
The Even More Irresistible SROIQ (IH, OK, US), pp. 57–67.
KR-2004-HustadtMS #datalog #logic #source code
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs (UH, BM, US), pp. 152–162.
CADE-2003-HladikS #automaton #logic
A Translation of Looping Alternating Automata into Description Logics (JH, US), pp. 90–105.
CADE-2003-LutzST #complexity #finite #logic #reasoning
The Complexity of Finite Model Reasoning in Description Logics (CL, US, LT), pp. 60–74.
CADE-2002-KupfermanSV #calculus #complexity
The Complexity of the Graded µ-Calculus (OK, US, MYV), pp. 423–437.
CADE-2002-PanSV
BDD-Based Decision Procedures for K (GP, US, MYV), pp. 16–30.
CSL-2001-LutzSW #logic
Modal Logic and the Two-Variable Fragment (CL, US, FW), pp. 247–261.
IJCAR-2001-SattlerV #calculus #hybrid
The Hybrid µ-Calculus (US, MYV), pp. 76–91.
CADE-2000-HorrocksST #logic #reasoning
Reasoning with Individuals for the Description Logic SHIQ (IH, US, ST), pp. 482–496.
KR-1996-BaaderS #logic #strict
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report (FB, US), pp. 328–339.

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.