Vasant Honavar

Publications of Vasant Honavar

• Secrecy-Preserving Query Answering for Instance Checking in

  Authors: Jia Tao, Giora Slutzki, Vasant Honavar

  Web Reasoning and Rule Systems - Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings; 01/2010

• PRIDB: A Protein-RNA Interface Database

  Authors: Ben Lewis, Rasna Walia, Michael Terribilini, Jeff Ferguson, Charles, Zheng, Vasant Honavar, Drena Dobbs

  Nucleic Acids Research. 01/2010;

• Package-Based Description Logics

  Authors: Jie Bao, George Voutsadakis, Giora Slutzki, Vasant Honavar

  01/2009: pages 349-371;

• Package-based Description Logics: Syntax, Semantics and Complexity

  Authors: Jie Bao, George Voutsadakis, Giora Slutzki, Vasant Honavar

  IJSWIS. 01/2009;

• Towards Semantics-Enabled Distributed Infrastructure for Knowledge Acquisition.

  Authors: Vasant Honavar, Doina Caragea

  Semantic Scientific Knowledge Integration, Papers from the 2008 AAAI Spring Symposium, Technical Report SS-08-05, Stanford, California, USA, March 26-28, 2008; 01/2008

• Federated ALCI: Preliminary Report

  Authors: George Voutsadakis, Giora Slutzki, Vasant Honavar, Jie Bao

  01/2008

• On the Decidability of Role Mappings Between Modular Ontologies

  Authors: Jie Bao, George Voutsadakis, Giora Slutzki, Vasant Honavar

  01/2008

  Many semantic web applications require support for mappings between roles (or properties) defined in multiple independently developed ontology modules. Distributed Description Logics (DDL),Many semantic web applications require support for mappings between roles (or properties) defined in multiple independently developed ontology modules. Distributed Description Logics (DDL), and Package-based Description Logics (P-DL), offer alternative logical formalisms that support such mappings using bridge rules between roles and importing of roles respectively. We prove that (a) variants of DDL that allow negated roles or cardinality restrictions in bridge rules or inverse bridge rules that connect ALC ontologies are undecidable; (b) A variant of P-DL ALCHIO(~)P that support role mappings between ontology modules in ALCHIO(~) (an extension of ALC that allows general role inclusions, inverse roles, nominals and negated roles) is decidable.

• Privacy-Preserving Reasoning for Hypergraphs

  Authors: George Voutsadakis, Jie Bao, Giora Slutzki, Vasant Honavar

  01/2008;

• Privacy-Preserving Reasoning on the Semantic Web

  Authors: Jie Bao, Giora Slutzki, Vasant Honavar

  01/2007

• Learning Relational Bayesian Classifiers on the Semantic Web

  Authors: Doina Caragea, Jie Bao, Vasant Honavar

  01/2007

• Query Translation for Ontology-Extended Data Sources

  Authors: Jie Bao, Doina Caragea, Vasant Honavar

  01/2007

• A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies

  Authors: Jie Bao, Giora Slutzki, Vasant Honavar

  01/2007

• A Distributed Tableau Algorithm for Package-based Description Logics

  Authors: Jie Bao, Doina Caragea, Vasant Honavar

  01/2006

• Adapt OWL as a Modular Ontology Language.

  Authors: Jie Bao, Vasant Honavar

  Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006; 01/2006

• A General Strategy for Knowledge Acquisition from Semantically Heterogeneous Data Sources

  Authors: Doina Caragea, Jie Bao, Vasant Honavar

  01/2006

• Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements.

  Authors: Jyotishman Pathak, Samik Basu, Vasant Honavar

  Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings; 01/2006

• Adapt OWL as a Modular Ontology Language (A Position Paper)

  Authors: Jie Bao, Vasant Honavar

  01/2006;

• Modular Ontologies - A Formal Investigation of Semantics and Expressivity

  Authors: Jie Bao, Doina Caragea, Vasant Honavar

  01/2006

• Representing and Reasoning with Modular Ontologies

  Authors: Jie Bao, Vasant Honavar

  01/2006

• Package-Based Description Logics - Preliminary Results

  Authors: Jie Bao, Doina Caragea, Vasant Honavar

  01/2006