@dblp

A Tableau Algorithm for Handling Inconsistency in OWL.

, , and . ESWC, volume 5554 of Lecture Notes in Computer Science, page 399-413. Springer, (2009)

Links and resources

URL:
BibTeX key:
conf/esws/ZhangXL09
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication