- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c17 |      | Suwan Tongphu, Boontawee Suntisrivaraporn: Toward Composite Object Classification Using a Probabilistic Inference Engine. MIWAI 2012: 35-46 |
| 2011 | ||
| c16 |  | Assadarat Khurat, Boontawee Suntisrivaraporn: An Ontological Approach to Verifying P3P Policies. KEOD 2011: 349-353 |
| c15 | | Boontawee Suntisrivaraporn, Assadarat Khurat: Formalizing and Reasoning with P3P Policies Using a Semantic Web Ontology. MIWAI 2011: 87-99 |
| c14 | | Boontawee Suntisrivaraporn: Structural Distance between $\mathcal{EL}^{+}$ Concepts. MIWAI 2011: 100-111 |
| 2010 | ||
| j1 | | Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov, Boontawee Suntisrivaraporn: Incremental Classification of Description Logics Ontologies. J. Autom. Reasoning 44(4): 337-369 (2010) |
| 2009 | ||
| b1 | | Boontawee Suntisrivaraporn: Polynomial time reasoning support for design and maintenance of large-scale biomedical ontologies. Dresden University of Technology 2009, pp. 1-154 |
| c13 | | Julian Mendez, Boontawee Suntisrivaraporn: Reintroducing CEL as an OWL 2 EL Reasoner. Description Logics 2009 |
| 2008 | ||
| c12 | | Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Peter Haase: A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments. ASWC 2008: 1-15 |
| c11 | | Franz Baader, Novak Novakovik, Boontawee Suntisrivaraporn: A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. Description Logics 2008 |
| c10 | | Boontawee Suntisrivaraporn: Module Extraction and Incremental Classification: A Pragmatic Approach for Ontologies. ESWC 2008: 230-244 |
| c9 | | Franz Baader, Boontawee Suntisrivaraporn: Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+. KR-MED 2008 |
| 2007 | ||
| c8 | | Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent A. Spackman: Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators. AIME 2007: 287-291 |
| c7 | | Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL. Description Logics 2007 |
| c6 | | Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL+. KI 2007: 52-67 |
| c5 | | Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader: SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions. MedInfo 2007: 802-806 |
| 2006 | ||
| c4 | | Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn: CEL - A Polynomial-Time Reasoner for Life Science Ontologies. IJCAR 2006: 287-291 |
| c3 | | Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn: Efficient Reasoning in EL+. Description Logics 2006 |
| c2 | | Sean 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 |
| c1 | | Carsten 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page