Category:Logics

From Tetherless World Wiki

Contents 1 Related Resources 1.1 Researchers and Groups 1.2 Conferences and Workshops 1.3 Publications

Related Resources

See the article on Wikipedia: Logics

Researchers and Groups

	Foaf:interest	Has affiliation
AAA	ALBO	AIFB
Achille Fokoue	Knowledge Representation Reasoning Data Managerment Information Integration XML Programming Language Program Analysis	Watson Research Center (IBM Research)
George Voutsadakis	Logic Institution	Iowa State University
Ian Horrocks	Semantic Web Topic Description Logics	Oxford University
Jiao Tao	Semantic Web Topic Instance Data Evaluation Autoepistemic Description Logics	Tetherless World Constellation Rensselaer Polytechnic Institute
Jie Bao	Semantic Web Topic Description Logics Data Integration Machine Learning Data Mining Social Semantic Web	Tetherless World Constellation Rensselaer Polytechnic Institute

Conferences and Workshops

Publications

	Has author	Has where published	Has year	Has topic
Package-based Description Logics: Syntax, Semantics and Complexity	Jie Bao George Voutsadakis Giora Slutzki Vasant Honavar	IJSWIS	2009	Package-based Description Logics
Federated ALCI: Preliminary Report	George Voutsadakis Giora Slutzki Vasant Honavar Jie Bao	Web Intelligence	2008	Semantic Web Topic Modular Ontology Description Logics
CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL	Boris Konev Carsten Lutz Dirk Walther Frank Wolter	OWL: Experiences and Directions (OWLED)	2008	OWL Modular Ontology Conservative Extension Ontology Modularization
Pushing the EL Envelope Further	Franz Baader Carsten Lutz Sebastian Brandt	OWL: Experiences and Directions (OWLED)	2008	OWL EL
On the Decidability of Role Mappings Between Modular Ontologies	Jie Bao George Voutsadakis Giora Slutzki Vasant Honavar	AAAI'08	2008	Modular Ontology Package-based Description Logics Distributed Description Logics Decidability
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support	Ernesto Jimenez-Ruiz Bernardo Cuenca Grau Ulrike Sattler Thomas Schneider Rafael Berlanga	OWL: Experiences and Directions (OWLED)	2008	OWL Ontology Modularization Conservative Extension Ontology Reuse Protege Plugin
Privacy-Preserving Reasoning for Hypergraphs	George Voutsadakis Jie Bao Giora Slutzki Vasant Honavar	Technical Report, Department of Computer Science, Iowa State University	2008	Privacy-Preserving Reasoning
Representing and Reasoning with Modular Ontologies (Dissertation)	Jie Bao	PhD Thesis, Department of Computer Science, Iowa State University	2007	Modular Ontology Package-based Description Logics
Analyzing web access control policies	Vladimir Kolovski James A. Hendler Bijan Parsia	WWW	2007	XACML Description Logics
An Inference Control Algorithm for RDF(S) Repository	Jianjiang Lu Jinpeng Wang Yafei Zhang Bo Zhou Yanhui Li Zhuang Miao	PAISI	2007	Inference Control RDF
Privacy-Preserving Reasoning on the Semantic Web	Jie Bao Giora Slutzki Vasant Honavar	Web Intelligence	2007	Semantic Web Topic Privacy-Preserving Reasoning Description Logics
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies	Jie Bao Giora Slutzki Vasant Honavar	AAAI	2007	Modular Ontology Package-based Description Logics
A Formal Model of Data Privacy	Phiniki Stouppa Thomas Studer	Ershov Memorial Conference	2006	Inference Control Privacy
Package-Based Description Logics - Preliminary Results	Jie Bao Doina Caragea Vasant Honavar	International Semantic Web Conference	2006	Package-based Description Logics
On the Semantics of Linking and Importing in Modular Ontologies	Jie Bao Doina Caragea Vasant Honavar	International Semantic Web Conference	2006	Modular Ontology Package-based Description Logics
Adapt OWL as a Modular Ontology Language	Jie Bao Vasant Honavar	OWL: Experiences and Directions (OWLED 2006)	2006	Modular Ontology OWL Package-based Description Logics
Modular Ontologies - A Formal Investigation of Semantics and Expressivity	Jie Bao Doina Caragea Vasant Honavar	ASWC	2006	Modular Ontology Description Logics
Towards Collaborative Environments for Ontology Construction and Sharing	Jie Bao Doina Caragea Vasant Honavar	International Symposium on Collaborative Technologies and Systems (CTS 2006)	2006	Modular Ontology Collaborative Ontology Building Package-based Description Logics
A Distributed Tableau Algorithm for Package-based Description Logics	Jie Bao Doina Caragea Vasant Honavar	2nd International Workshop On Context Representation And Reasoning (CRR 2006), ECAI 2006	2006	Modular Ontology Description Logics Tableau Algorithm
Representing and Reasoning with Modular Ontologies	Jie Bao Vasant Honavar	AAAI Fall Symposium on Semantic Web for Collaborative Knowledge Acquisition (SWeCKa)	2006	Modular Ontology Package-based Description Logics
Will my Ontologies Fit Together?	Bernardo Cuenca Grau Ian Horrocks Oliver Kutz Ulrike Sattler	Description Logics	2006	Modular Ontology Conservative Extension
Secure resource description framework: an access control model	Amit Jain Csilla Farkas	SACMAT	2006	RDF Inference Control Access Control
Tau: A Web-Deployed Hybrid Prover for First-Order Logic with Identity, with Optional Inductive Proof	Jay Halcomb Randall Schulz	Empirically Successful Classical Automated Reasoning	2005	Common Logic Reasoner
Testing the Inferability of RDF-Data for Secure Partial Encryption	Mark Giereth Ying Qian	Poster and Demonstration Proceedings of the ISWC 2005	2005	Inference Control RDF Encryption
Time - Space Trade-Offs in Scaling up RDF Schema Reasoning	Heiner Stuckenschmidt Jeen Broekstra	WISE Workshops	2005	RDF Deductive Closure
Taking the RDF Model Theory Out for a Spin	Ora Lassila	International Semantic Web Conference	2002	RDF Deductive Closure