sign in · help · news · about ·

BibSonomy :: author :: Suntisrivaraporn ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(19)

<< < 1 > >>

Structural Distance between $EL^+$ Concepts.
Boontawee Suntisrivaraporn MIWAI, volume 7080 of Lecture Notes in Computer Science, page 100-111. Springer, (2011)
to dblp by dblp on Dec 12, 2011, 12:00 AM
URL | BibTeX
Formalizing and Reasoning with P3P Policies Using a Semantic Web Ontology.
Boontawee Suntisrivaraporn, and Assadarat Khurat MIWAI, volume 7080 of Lecture Notes in Computer Science, page 87-99. Springer, (2011)
to dblp by dblp on Dec 12, 2011, 12:00 AM
URL | BibTeX
Incremental Classification of Description Logics Ontologies.
Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov, and Boontawee Suntisrivaraporn J. Autom. Reasoning 44(4):337-369 (2010)
to dblp by dblp on Oct 6, 2010, 12:00 AM
URL | BibTeX
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic $EL^+$
F. Baader, and B. Suntisrivaraporn KR-MED'08, volume 410 of CEUR-WS, (2008)
to diss imported by sschenk on Jan 11, 2010, 12:36 PM
BibTeX
SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions.
Stefan Schulz, Boontawee Suntisrivaraporn, and Franz Baader MedInfo, volume 129 of Studies in Health Technology and Informatics, page 802-806. IOS Press, (2007)
to dblp by dblp on Sep 16, 2009, 12:00 AM
URL | BibTeX
Reintroducing CEL as an OWL 2 EL Reasoner.
Julian Mendez, and Boontawee Suntisrivaraporn Description Logics, volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)
to dblp by dblp on Sep 1, 2009, 12:00 AM
URL | BibTeX
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+.
Franz Baader, and Boontawee Suntisrivaraporn KR-MED, volume 410 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)
to dblp by dblp on Feb 15, 2009, 12:00 AM
URL | BibTeX
DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners.
Sean Bechhofer, Thorsten Liebig, Marko Luther, Olaf Noppens, Peter F. Patel-Schneider, Boontawee Suntisrivaraporn, Anni-Yasmin Turhan, and Timo Weithöner OWLED, volume 216 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)
to dblp by dblp on Feb 15, 2009, 12:00 AM
URL | BibTeX
Reasoning Support for Ontology Design.
Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, and Sergio Tessaris OWLED, volume 216 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)
to dblp by dblp on Feb 15, 2009, 12:00 AM
URL | BibTeX
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments
Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, and Peter Haase (2008)
to OWL aswc08 by conchuir and 1 other user on Feb 13, 2009, 1:22 PM
URL | DOI | BibTeX
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments.
Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, and Peter Haase ASWC, volume 5367 of Lecture Notes in Computer Science, page 1-15. Springer, (2008)
to dblp by dblp and 1 other user on Nov 16, 2008, 12:00 AM
URL | BibTeX
A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes.
Franz Baader, Novak Novakovik, and Boontawee Suntisrivaraporn Description Logics, volume 353 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)
to dblp by dblp on Jun 26, 2008, 12:00 AM
URL | BibTeX
Pinpointing in the Description Logic EL.
Franz Baader, Rafael Peñaloza, and Boontawee Suntisrivaraporn Description Logics, volume 250 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)
to dblp by dblp and 1 other user on May 29, 2008, 12:00 AM
URL | BibTeX
Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies
Boontawee Suntisrivaraporn Proceedings of the 5th European Semantic Web Conference, Berlin, Heidelberg, Springer Verlag, (June 2008)
to ontology logic description extraction classification module incremental formal-languages-1 by eswc2008 on May 28, 2008, 2:49 PM
URL | BibTeX
Module Extraction and Incremental Classification: A Pragmatic Approach for Ontologies.
Boontawee Suntisrivaraporn ESWC, volume 5021 of Lecture Notes in Computer Science, page 230-244. Springer, (2008)
to dblp by dblp on May 27, 2008, 12:00 AM
URL | BibTeX
Efficient Reasoning in EL+.
Franz Baader, Carsten Lutz, and Boontawee Suntisrivaraporn Description Logics, volume 189 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)
to dblp by dblp on Oct 31, 2007, 12:00 AM
URL | BibTeX
Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators.
Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, and Kent A. Spackman AIME, volume 4594 of Lecture Notes in Computer Science, page 287-291. Springer, (2007)
to dblp by dblp on Sep 3, 2007, 12:00 AM
URL | BibTeX
Pinpointing in the Description Logic EL+.
Franz Baader, Rafael Peñaloza, and Boontawee Suntisrivaraporn KI, volume 4667 of Lecture Notes in Computer Science, page 52-67. Springer, (2007)
to dblp by dblp and 1 other user on Aug 27, 2007, 12:00 AM
URL | BibTeX
CEL - A Polynomial-Time Reasoner for Life Science Ontologies.
Franz Baader, Carsten Lutz, and Boontawee Suntisrivaraporn IJCAR, volume 4130 of Lecture Notes in Computer Science, page 287-291. Springer, (2006)
to dblp by dblp on Nov 22, 2006, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper