Privacy-Preserving Reasoning on the Semantic Web Jie Bao, Giora Slutzki and Vasant Honavar Department of Computer Science, Iowa State University, Ames, IA. USA {baojie,slutzki,honavar}@cs.iastate.edu

Source URL: www.cs.iastate.edu

• Artificial intelligence
• Information
• Semantic Web
• Reasoning
• Knowledge engineering
• Semantic reasoner
• Description logic
• Inference
• Completeness
• Knowledge representation
• Science
• Ontology

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) PSpace Tableau Algorithms for Acyclic Modalized ALC Jia Tao · Giora Slutzki · Vasant Honavar

Source URL: www.cs.iastate.edu

• Model theory
• Philosophical logic
• Automated theorem proving
• Method of analytic tableaux
• Abox
• Structure
• Boolean satisfiability problem
• PSPACE-complete
• Modal logic
• Theoretical computer science
• Mathematical logic
• Mathematics

Secrecy-Preserving Query Answering for Instance Checking in EL Jia Tao, Giora Slutzki, and Vasant Honavar Iowa State University, Ames, IA, USA Abstract. We consider the problem of answering queries against an

Source URL: www.cs.iastate.edu

• Structure
• Universal algebra
• Formal language
• Parity of a permutation
• Mathematics
• Group theory
• Model theory

On the Decidability of Role Mappings between Modular Ontologies Jie Bao1 , George Voutsadakis2 , Giora Slutzki2 and Vasant Honavar2 Department of Computer Science, Rensselaer Polytechnic Institute, Troy, NY 12180, USA. b

Source URL: www.cs.iastate.edu

• Functions and mappings
• Algebraic structures
• Artificial intelligence
• Description logic
• Information science
• Non-classical logic
• Sheaf
• Function
• Ring
• Mathematics
• Abstract algebra
• Algebra

A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies Jie Bao, Giora Slutzki and Vasant Honavar Department of Computer Science Iowa State University Ames, Iowa, USA {baojie,slutzki,honavar}

Source URL: www.cs.iastate.edu

• Science
• Knowledge representation
• Knowledge engineering
• Semantic Web
• Description logic
• Frame language
• Cyc
• Information
• Information science
• Ontology

MICE HE GAVE EVERYTHING FOR HIS COUNTRY, HIS PARENTS GAVE EVERYTHING FOR THEIRS. Genre: Drama. Episodes: Season[removed]x 45’; Season[removed]x 45’. Created by: Ron Leshem, Amit Cohen, Giora Yaalom and Daniel Syrkin.

Source URL: www.keshetinternational.com

• Spies
• Daniel Syrkin
• Ron Leshem
• Eyal
• Keshet Broadcasting
• Giora

13 Package-Based Description Logics Jie Bao1 , George Voutsadakis2,3 , Giora Slutzki2 , and Vasant Honavar2 1 2 3

Source URL: www.cs.iastate.edu

• Ontology
• Semantic Web
• Technical communication
• Knowledge representation
• Knowledge
• Description logic
• Type theory
• Mereology
• Information science
• Information
• Science

Immersions of RP2 −1 e DONALD M. DAVIS GIORA DULA ´ GONZALEZ

Source URL: www.lehigh.edu

Rethinking the Two-State Solution Giora Eiland Policy Focus #88  |  September 2008 Rethinking the

Source URL: www.washingtoninstitute.org

• Two-state solution
• Palestinian National Authority
• Israeli–Palestinian conflict
• Palestinian people
• Giora Eiland
• Western Asia
• Asia
• Middle East

Defensible Borders on the Golan Heights Maj.-Gen. (res.) Giora Eiland Jerusalem Center for Public Affairs )‫המרכז הירושלמי לענייני ציבור ומדינה (ע"ר‬

Source URL: www.jcpa.org

• Great Rift Valley
• Golan Heights
• Israeli-occupied territories
• Mount Hermon
• Majdal Shams
• Quneitra
• Ghajar
• Syria
• Golan
• Asia
• Arab–Israeli conflict
• Fertile Crescent