A Distributed Tableau Algorithm for Package-based Description Logics

From Tetherless World Wiki

Jump to: navigation, search
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


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  +
Retrieved from "http://tw.rpi.edu/wiki/A_Distributed_Tableau_Algorithm_for_Package-based_Description_Logics"
Personal tools