George Voutsadakis

Publications of George Voutsadakis

• 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;

• 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;