DBLP:conf/crr/BaoDH06 + redirect page
A Distributed Tableau Algorithm for Package-based Description Logics + Has identifier
| A Distributed Tableau Algorithm for Package-based Description Logics |
Has publishing details
, 2006
Has slides
http://www.cs.rpi.edu/~baojie/pub/2006-08-17_crr.ppt
Has title
A Distributed Tableau Algorithm for Package-based Description Logics
Has url
http://www.cs.rpi.edu/~baojie/pub/2006-03-23_crr.1.2.1.pdf
Has where published
2nd International Workshop On Context Representation And Reasoning (CRR 2006), ECAI 2006
Has year
2006
Has author
Jie Bao +, Doina Caragea +, Vasant Honavar +
Has identifier
A Distributed Tableau Algorithm for Package-based Description Logics +
Has topic
Modular Ontology +, Description Logics +, Tableau Algorithm +
Categories Workshop Paper +
|
