A Distributed Tableau Algorithm for Package-based Description Logics
From Tetherless World Wiki
Jie Bao, Doina Caragea, Vasant Honavar - A Distributed Tableau Algorithm for Package-based Description Logics. In 2nd International Workshop On Context Representation And Reasoning (CRR 2006), ECAI 2006 , 2006.(URL) (Slides) [Workshop][Topic: Modular Ontology, Description Logics, Tableau Algorithm] (Bibtex)Author : Jie Bao, Doina Caragea, Vasant Honavar
Title : A Distributed Tableau Algorithm for Package-based Description Logics
In : 2nd International Workshop On Context Representation And Reasoning (CRR 2006), ECAI 2006 -
Address :
Date : 2006
Title : A Distributed Tableau Algorithm for Package-based Description Logics
In : 2nd International Workshop On Context Representation And Reasoning (CRR 2006), ECAI 2006 -
Address :
Date : 2006
| Comments Add New Comment (refresh after adding) | |
|---|---|
Facts about A Distributed Tableau Algorithm for Package-based Description LogicsRDF feed
| Has author | Jie Bao +, Doina Caragea +, and Vasant Honavar + |
| Has identifier | DBLP:conf/crr/BaoDH06 + |
| 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 topic | Modular Ontology +, Description Logics +, and Tableau Algorithm + |
| 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 + |
