| 2008 |
|---|
| 11 | EE | Boontawee Suntisrivaraporn,
Guilin Qi,
Qiu Ji,
Peter Haase:
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments.
ASWC 2008: 1-15 |
| 10 | EE | Franz Baader,
Novak Novakovik,
Boontawee Suntisrivaraporn:
A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes.
Description Logics 2008 |
| 9 | EE | Boontawee Suntisrivaraporn:
Module Extraction and Incremental Classification: A Pragmatic Approach for Ontologies.
ESWC 2008: 230-244 |
| 8 | EE | Franz Baader,
Boontawee Suntisrivaraporn:
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+.
KR-MED 2008 |
| 2007 |
|---|
| 7 | EE | Boontawee Suntisrivaraporn,
Franz Baader,
Stefan Schulz,
Kent A. Spackman:
Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators.
AIME 2007: 287-291 |
| 6 | EE | Franz Baader,
Rafael Peñaloza,
Boontawee Suntisrivaraporn:
Pinpointing in the Description Logic EL.
Description Logics 2007 |
| 5 | EE | Franz Baader,
Rafael Peñaloza,
Boontawee Suntisrivaraporn:
Pinpointing in the Description Logic EL+.
KI 2007: 52-67 |
| 2006 |
|---|
| 4 | EE | Franz Baader,
Carsten Lutz,
Boontawee Suntisrivaraporn:
Efficient Reasoning in EL+.
Description Logics 2006 |
| 3 | EE | Franz Baader,
Carsten Lutz,
Boontawee Suntisrivaraporn:
CEL - A Polynomial-Time Reasoner for Life Science Ontologies.
IJCAR 2006: 287-291 |
| 2 | EE | 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 |
| 1 | EE | 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 |
