dblp.uni-trier.dewww.uni-trier.de

Boontawee Suntisrivaraporn Vis

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

*2009
13EEJulian Mendez, Boontawee Suntisrivaraporn: Reintroducing CEL as an OWL 2 EL Reasoner. Description Logics 2009
2008
12EEBoontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Peter Haase: A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments. ASWC 2008: 1-15
11EEFranz Baader, Novak Novakovik, Boontawee Suntisrivaraporn: A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. Description Logics 2008
10EEBoontawee Suntisrivaraporn: Module Extraction and Incremental Classification: A Pragmatic Approach for Ontologies. ESWC 2008: 230-244
9EEFranz Baader, Boontawee Suntisrivaraporn: Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+. KR-MED 2008
2007
8EEBoontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent A. Spackman: Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators. AIME 2007: 287-291
7EEFranz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL. Description Logics 2007
6EEFranz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL+. KI 2007: 52-67
5EEStefan Schulz, Boontawee Suntisrivaraporn, Franz Baader: SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions. MedInfo 2007: 802-806
2006
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] [9] [11]
2Sean Bechhofer [2]
3Enrico Franconi [1]
4Peter Haase [12]
5Qiu Ji [12]
6Domenico Lembo [1]
7Thorsten Liebig [2]
8Marko Luther [2]
9Carsten Lutz [1] [3] [4]
10Julian Mendez [13]
11Ralf Möller [1]
12Olaf Noppens [2]
13Novak Novakovik [11]
14Peter F. Patel-Schneider [2]
15Rafael Peñaloza [6] [7]
16Guilin Qi [12]
17Riccardo Rosati [1]
18Ulrike Sattler [1]
19Stefan Schulz [5] [8]
20Kent A. Spackman [8]
21Sergio Tessaris [1]
22Anni-Yasmin Turhan [2]
23Timo Weithöner [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)