Sebastian Philipp Brandt

Invited talks and tutorials

Sebastian Brandt. Ontologies for Health-Care Systems. Given at Meraka Institute, Council for Scientific and Industrial Research (CSIR), Pretoria, South Africa, 2010.
Slides of the tutorial (PDF)
 
Sebastian Brandt. Why Small Description Logics Deserve More Love. Given at the School of Computer Science, The University of Manchester, Manchester, UK, 2005.
Slides of the talk (PDF)
 
Sebastian Brandt. The Semantic Web: An Introduction without the Hype. In the context of the Network of Excellence — Semantic Interoperability and Data Mining in Biomedicine. Given at the Semantic Mining Summer School 2005, Tihany, Hungary, 2005. See here and here for details on the Network of Excellence.
Slides of the tutorial (PDF)
 
Sebastian Brandt. Description Logics from an Expressionist Perspective. In the context of the Network of Excellence — Semantic Interoperability and Data Mining in Biomedicine. Given at IFOMIS, Saarland University, Saarbrücken, 2004. See here and here for details on the Network of Excellence.
Slides of the tutorial (PDF)
 
Sebastian Brandt. How to Design a Slideshow? In Doctoral Programme of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), Cork, Ireland, 2004. See here for details on the Doctoral Programme.
Slides of the tutorial (PDF)

Notes:
♦ these are no self-contained on-line tutorials;
♦ slides are rendered to size 800x600.

 
 
 

Papers


2008

A.L. Rector and S. Brandt. Why do it the hard way? The Case for an Expressive Description Logic for SNOMED. In Journal of the American Medical Informatics Association (JAMIA), 15 (6): 744-751, US, 2008.

A. L. Rector, S. Brandt, and J. Kola. Why do it the hard way? The Case for an Expressive Description Logic for SNOMED. In R. Cornet and K. A. Spackman, editors, Proceedings of the 3rd international conference on Knowledge Representation in Medicine (KR-MED 2008), 2008

J. Patrick, Y. Wang, P. Budd, A. Rector, S. Brandt, J. Rogers, R. Herkes, A. Ryan, B. Vazirnezhad. Developing Classification Subsets from Clinical Notes for Intensive Care Service. In Proceedings of Australian Health Informatics Conference, Melbourne, August, 2008.

F. Baader, S. Brandt, and C. Lutz Pushing the EL envelope further. In K. Clark and P. F. Patel-Schneider, editors, Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008.


2007

S. Brandt. Matching in hybrid terminologies. In N. Dershowitz and A. Voronkov, editors, Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Lecture Notes in Computer Science. Springer-Verlag, 2007.


2005

F. Baader, S. Brandt, and C. Lutz. Pushing the EL Envelope. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence IJCAI-05, Edinburgh, UK, 2005. Morgan-Kaufmann Publishers.
Bibtex entry  Abstract  Paper (PDF)

Sebastian Brandt and Jörg Model. Subsumption in EL w.r.t. hybrid TBoxes. In Proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2005.
Bibtex entry  Abstract  ©Springer-Verlag


2004

Sebastian Brandt. On Subsumption and Instance Problem in ELH w.r.t. General TBoxes. In Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004.
Bibtex entry  Abstract  Paper (PDF)

Sebastian Brandt. Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and—What Else?. In R. López de Mantáras and L. Saitta, editors, Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004), pages 298–302. IOS Press, 2004.
Bibtex entry  Abstract  Paper (PDF)

Sebastian Brandt and Hongkai Liu. Implementing Matching in ALN. In Proceedings of the KI-2004 Workshop on Applications of Description Logics (KI-ADL'04), CEUR-WS, Ulm, Germany, September 2004.
Bibtex entry  Abstract


2003

Sebastian Brandt. Implementing Matching in ALE—First Results. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

Sebastian Brandt and Anni-Yasmin Turhan. Computing least common subsumers for FLE^+. In Proceedings of the 2003 International Workshop on Description Logics, CEUR-WS, 2003.
Bibtex entry  Abstract  Paper (PS)

Sebastian Brandt, Anni-Yasmin Turhan, and Ralf Küsters. Extensions of Non-standard Inferences to Description Logics with transitive Roles. In Moshe Vardi and Andrei Voronkov, editors, Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), Lecture Notes in Computer Science. Springer, 2003.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag


2002

S. Brandt, R. Küsters, and A.-Y. Turhan. Approximating ALCN-Concept Descriptions. In Proceedings of the 2002 International Workshop on Description Logics, 2002.
Bibtex entry  Abstract  Paper (PS)

S. Brandt, R. Küsters, and A.-Y. Turhan. Approximation and Difference in Description Logics. In D. Fensel, F. Giunchiglia, D. McGuiness, and M.-A. Williams, editors, Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), pages 203-214, San Francisco, CA, 2002. Morgan Kaufman.
Bibtex entry  Abstract  Paper (PS)

S. Brandt and A.-Y. Turhan. An Approach for Optimized Approximation. In Proceedings of the KI-2002 Workshop on Applications of Description Logics (KIDLWS'01), CEUR-WS, Aachen, Germany, September 2002. RWTH Aachen. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/.
Bibtex entry  Abstract  Paper (PS)


2001

F. Baader, S. Brandt, and R. Küsters. Matching under Side Conditions in Description Logics. In B. Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI'01, pages 213-218, Seattle, Washington, 2001. Morgan Kaufmann.
Bibtex entry  Abstract

S. Brandt and A.-Y. Turhan. Using Non-standard Inferences in Description Logics—what does it buy me?. In Proceedings of the KI-2001 Workshop on Applications of Description Logics (KIDLWS'01), number 44 in CEUR-WS, Vienna, Austria, September 2001. RWTH Aachen. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-44/.
Bibtex entry  Abstract  Paper (PS)


2000

S. Brandt. Matching under Side Conditions in Description Logics. Diploma thesis, RWTH Aachen, Germany, 2000.
Bibtex entry  Abstract  Paper (PS)


1997

S. Brandt, R. Kreutz, H. Conradi and K. Spitzer. Digitale Fallsammlungen als Ressourcenquelle für Autorenwerkzeuge. In Proceedings zum Workshop: CBT in der Medizin, pages 69–75, Aachen, Germany, 1997.
 
 
 

Technical Reports

F. Baader, S. Brandt, and C. Lutz. Pushing the EL Envelope. LTCS-Report 05-01, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany, 2005. See http://lat.inf.tu-dresden.de/research/reports.html.
Bibtex entry  Abstract  Paper (PS)

S. Brandt. Subsumption and Instance Problem in ELH w.r.t. General TBoxes. LTCS-Report 04-04, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany, 2004.
Bibtex entry  Abstract  Paper (PDF)

S. Brandt. Reasoning in ELH w.r.t. General Concept Inclusion Axioms. LTCS-Report 04-03, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany, 2004.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

S. Brandt, A.-Y. Turhan, and R. Küsters. Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies. LTCS-Report 03-02, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany, 2003.
Bibtex entry  Abstract  Paper (PS)

S. Brandt and A.-Y. Turhan. An Approach for Optimizing ALE-Approximation of ALC-Concepts. LTCS-Report 02-03, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany, 2002. See http://lat.inf.tu-dresden.de/research/reports.html.
Bibtex entry  Abstract  Paper (PS)

F. Baader, S. Brandt, and R. Küsters. Matching under Side Conditions in Description Logics. LTCS-Report 01-02, LuFG Theoretical Computer Science, RWTH Aachen, Germany, 2001. See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.
Bibtex entry  Abstract  Paper (PS)

S. Brandt, R. Küsters, and A.-Y. Turhan. Approximation and Difference in Description Logics. LTCS-Report 01-06, LuFG Theoretical Computer Science, RWTH Aachen, Germany, 2001.
Bibtex entry  Abstract  Paper (PS)


 
 
 
2010-May-26. spb.