|
Publications of Boontawee Suntisrivaraporn
F. Baader, C. Lutz, and B. Suntisrivaraporn.
Is Tractable Reasoning in Extensions of the Description Logic
EL Useful in Practice?.
In Proceedings of the Methods for Modalities Workshop (M4M'05), Berlin,
Germany, 2005.
Bibtex entry Abstract Paper (PS) Paper (PDF)
F. Baader, C. Lutz, and B. Suntisrivaraporn.
Efficient Reasoning in EL+.
In Proceedings of the 2006 International Workshop on Description Logics
(DL'06), CEUR-WS, 2006.
Bibtex entry Abstract Paper (PS) Paper (PDF)
F. Baader, C. Lutz, and B. Suntisrivaraporn.
CEL—A Polynomial-time Reasoner for Life Science
Ontologies.
In U. Furbach and N. Shankar, editors, Proceedings of the 3rd International
Joint Conference on Automated Reasoning (IJCAR'06), volume 4130 of
Lecture Notes in Artificial Intelligence, pages 287–291.
Springer-Verlag, 2006.
Bibtex entry Abstract Paper (PS) Paper (PDF) ©Springer-Verlag
S. Schulz, K. Markó, B. Suntisrivaraporn.
Complex Occurrents in Clinical Terminologies and their Representation in a
Formal Language.
In Proceedings of the First European Conference on SNOMED CT (SMCS'06),
Copenhagen, Denmark, 2006.
Paper (PDF)
Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller,
Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, and Sergio
Tessaris.
Reasoning Support for Ontology Design.
In Bernardo Cuenca Grau, Pascal Hitzler, Connor Shankey, and Evan Wallace,
editors, In Proceedings of the second international workshop OWL:
Experiences and Directions, November 2006.
Bibtex entry Abstract Paper (PDF)
Anni-Yasmin Turhan, Sean Bechhofer, Alissa Kaplunova, Thorsten Liebig, Marko
Luther, Ralf Möller, Olaf Noppens, Peter Patel-Schneider, Boontawee
Suntisrivaraporn, and Timo Weithöner.
DIG 2.0 – Towards a Flexible Interface for Description Logic
Reasoners.
In Bernardo Cuenca Grau, Pascal Hitzler, Connor Shankey, and Evan Wallace,
editors, In Proceedings of the second international workshop OWL:
Experiences and Directions, November 2006.
Bibtex entry Abstract Paper (PS) Paper (PDF)
Franz Baader, Carsten Lutz, and Boontawee Suntisrivaraporn.
Is Tractable Reasoning in Extensions of the Description Logic
EL Useful in Practice?.
In Journal of Logic, Language and Information, Special Issue on Method for
Modality (M4M), 2007.
Bibtex entry Abstract Paper (PS) Paper (PDF)
Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, and Kent Spackman.
Replacing SEP-Triplets in SNOMED CT using Tractable Description Logic
Operators.
In Jim Hunter Riccardo Bellazzi, Ameen Abu-Hanna, editor, Proceedings of
the 11th Conference on Artificial Intelligence in Medicine (AIME'07),
Lecture Notes in Computer Science. Springer-Verlag, 2007.
Bibtex entry Abstract Paper (PS) Paper (PDF) ©Springer-Verlag
Franz Baader, Rafael Peñaloza, and Boontawee Suntisrivaraporn.
Pinpointing in the Description Logic EL.
In Proceedings of the 2007 International Workshop on Description Logics
(DL2007), CEUR-WS, 2007.
Bibtex entry Abstract Paper (PDF)
Stefan Schulz, Boontawee Suntisrivaraporn, and Franz Baader.
SNOMED CT's Problem List: Ontologists' and Logicians' Therapy
Suggestions.
In Proceedings of The Medinfo 2007 Congress, Studies in Health
Technology and Informatics (SHTI-series). IOS Press, 2007. *
Bibtex entry Abstract Paper (PDF)
Franz Baader, Rafael Peñaloza, and Boontawee Suntisrivaraporn.
Pinpointing in the Description Logic EL+.
In Proceedings of the 30th German Conference on Artificial Intelligence
(KI2007), LNAI, Osnabrück, Germany, 2007. Springer. *
Bibtex entry Abstract Paper (PDF) ©Springer-Verlag
Boontawee Suntisrivaraporn.
Module Extraction and Incremental Classification: A Pragmatic Approach for
EL+ Ontologies.
LTCS-Report 07-03, Chair for Automata Theory, Institute for Theoretical
Computer Science, Dresden University of Technology, Germany, 2007.
See http://lat.inf.tu-dresden.de/research/reports.html.
Bibtex entry Abstract
Paper
(PDF)
Boontawee Suntisrivaraporn.
Module Extraction and Incremental Classification: A Pragmatic Approach for
EL^+ Ontologies.
In Sean Bechhofer, Manfred Hauswirth, Joerg Hoffmann, and Manolis Koubarakis,
editors, Proceedings of the 5th European Semantic Web Conference
(ESWC'08), volume 5021 of Lecture Notes in Computer Science,
pages 230–244. Springer-Verlag, 2008.
Bibtex
entry Abstract
Paper
(PDF) ©Springer-Verlag
Franz Baader and Boontawee Suntisrivaraporn.
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic
EL+.
In Proceedings of the 3rd Knowledge Representation in Medicine Conference
(KR-MED'08): Representing and Sharing Knowledge Using SNOMED, 2008.
Bibtex entry Abstract Paper (PDF)
Stefan Schulz, Kornél Markó, and Boontawee Suntisrivaraporn.
Formal representation of complex SNOMED CT expressions.
BMC Medical Informatics and Decision Making, 8(1):S9, 2008.
Bibtex entry Abstract Paper (PDF)
Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, and Peter Haase.
A Modularization-based Approach to Finding All Justifications for OWL DL
Entailments.
In John Domingue and Chutiporn Anutariya, editors, Proceedings of the 3th
Asian Semantic Web Conference (ASWC'08), volume 5367 of Lecture
Notes in Computer Science, pages 1–15. Springer-Verlag, 2008. *
Bibtex entry Abstract Paper (PDF) ©Springer-Verlag
Boontawee Suntisrivaraporn.
Empirical evaluation of reasoning in lightweight DLs on life science
ontologies.
In Proceedings of the 2nd Mahasarakham International Workshop on AI
(MIWAI'08), 2008. *
Bibtex entry Abstract
Paper
(PDF)
Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader, and Martin Boeker.
SNOMED reaching its adolescence: Ontologiests' and logicians' health
check.
International Journal of Medical Informatics, 2009.
To appear.
Bibtex entry Abstract Paper (PDF)
List of
Publications of our Group
Theses and Other Reports
|