Sebastian Philipp Brandt |
---|
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.
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
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
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
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)
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)
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)