BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Italy
1 × USA
Collaborated with:
S.Tongphu A.Khurat F.Baader C.Lutz
Talks about:
ontolog (2) standard (1) polynomi (1) descript (1) approach (1) instanc (1) verifi (1) scienc (1) reason (1) polici (1)

Person: Boontawee Suntisrivaraporn

DBLP DBLP: Suntisrivaraporn:Boontawee

Contributed to:

KEOD 20142014
KEOD 20112011
IJCAR 20062006

Wrote 3 papers:

KEOD-2014-TongphuS #logic #standard
A Non-standard Instance Checking for the Description Logic ELH (ST, BS), pp. 67–74.
KEOD-2011-KhuratS #approach #ontology #policy #verification
An Ontological Approach to Verifying P3P Policies (AK, BS), pp. 349–353.
IJCAR-2006-BaaderLS #named #ontology #polynomial
CEL — A Polynomial-Time Reasoner for Life Science Ontologies (FB, CL, BS), pp. 287–291.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.