Boontawee Suntisrivaraporn

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

11EEBoontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Peter Haase: A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments. ASWC 2008: 1-15
10EEFranz Baader, Novak Novakovik, Boontawee Suntisrivaraporn: A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. Description Logics 2008
9EEBoontawee Suntisrivaraporn: Module Extraction and Incremental Classification: A Pragmatic Approach for Ontologies. ESWC 2008: 230-244
8EEFranz Baader, Boontawee Suntisrivaraporn: Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+. KR-MED 2008
7EEBoontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent A. Spackman: Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators. AIME 2007: 287-291
6EEFranz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL. Description Logics 2007
5EEFranz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL+. KI 2007: 52-67
4EEFranz Baader, Carsten Lutz, Boontawee Suntisrivaraporn: Efficient Reasoning in EL+. Description Logics 2006
3EEFranz Baader, Carsten Lutz, Boontawee Suntisrivaraporn: CEL - A Polynomial-Time Reasoner for Life Science Ontologies. IJCAR 2006: 287-291
2EESean Bechhofer, Thorsten Liebig, Marko Luther, Olaf Noppens, Peter F. Patel-Schneider, Boontawee Suntisrivaraporn, Anni-Yasmin Turhan, Timo Weithöner: DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners. OWLED 2006
1EECarsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris: Reasoning Support for Ontology Design. OWLED 2006

Coauthor Index

1Franz Baader [1] [3] [4] [5] [6] [7] [8] [10]
2Sean Bechhofer [2]
3Enrico Franconi [1]
4Peter Haase [11]
5Qiu Ji [11]
6Domenico Lembo [1]
7Thorsten Liebig [2]
8Marko Luther [2]
9Carsten Lutz [1] [3] [4]
10Ralf Möller [1]
11Olaf Noppens [2]
12Novak Novakovik [10]
13Peter F. Patel-Schneider [2]
14Rafael Peñaloza [5] [6]
15Guilin Qi [11]
16Riccardo Rosati [1]
17Ulrike Sattler [1]
18Stefan Schulz [7]
19Kent A. Spackman [7]
20Sergio Tessaris [1]
21Anni-Yasmin Turhan [2]
22Timo Weithöner [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)