Ulrike Sattler

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Prof. Dr. Ulrike Sattler

Ehemaliges Mitglied
  •   Ehemals Wissenschaftliche Mitarbeiterin in Forschungsgruppe Automatentheorie

Neueste Publikationen

Komplette Publikationsliste anzeigen

Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler
Answering conjunctive queries in the SHIQ description logic
Journal of Artificial Intelligence Research, 31:150-197, 2008
Details Download

Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler
Answering conjunctive queries in the SHIQ description logic
In Manuela Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 299-404, 2007. AAAI Press
Details Download

Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis
In Christine Golbreich and Aditya Kalyanpur and Bijan Parsia, eds., Proceedings of the Third International Workshop OWL: Experiences and Directions (OWLED 2007), volume 258, 2007. CEUR-WS
Details Download

Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), 2007. AAAI Press
Details Download

Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics
In Frank van Harmelen and Vladimir Lifschitz and Bruce Porter, eds., Handbook of Knowledge Representation, 135-179. Elsevier, 2007
Details

Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-02, 2006. LTCS-Report
Details Download

Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris
Reasoning Support for Ontology Design
In Bernardo Cuenca Grau and Pascal Hitzler and Connor Shankey and Evan Wallace, eds., In Proceedings of the second international workshop OWL: Experiences and Directions, to appear
Details Download

Franz Baader, M. Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms for Reasoning about Web Services
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-02, 2005. LTCS-Report
Details Download

Franz Baader, Carsten Lutz, M. Milicic, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms: First Results
Proceedings of the 2005 International Workshop on Description Logics (DL2005), CEUR-WS, 2005
Details Download

Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics as Ontology Languages for the Semantic Web
In D. Hutter and W. Stephan, eds., Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, volume 2605 of Lecture Notes in Artificial Intelligence, 228-248. Springer, 2005
Details Download

Komplette Publikationsliste anzeigen