Travelled to:
1 × Italy
Collaborated with:
B.Suntisrivaraporn
Talks about:
standard (1) descript (1) instanc (1) logic (1) check (1) non (1) elh (1)
Person: Suwan Tongphu
DBLP: Tongphu:Suwan
Contributed to:
Wrote 1 papers:
- KEOD-2014-TongphuS #logic #standard
- A Non-standard Instance Checking for the Description Logic ELH (ST, BS), pp. 67–74.