Extending LogicWeb via Hereditary Harrop Formulas

• KWON Keehang

  Computer Eng., DongA University

• KANG Dae-Seong

  Electronics Eng., DongA University The Institute of Electronics, Information and Communication Engineers

抄録

We propose HHWeb, an extension to LogicWeb with hereditary Harrop formulas. HHWeb extends the LogicWeb of Loke and Davison by allowing goals of the form (∃x₁…∃x_nD)⊃G (or equivalently ∀x₁…∀x_n (D⊃G)) where D is a web page and G is a goal. This goal is intended to be solved by instantiating x₁,…,x_n in D by new names and then solving the resulting goal. The existential quantifications at the head of web pages are particularly flexible in controlling the visibility of names. For example, they can provide scope to functions and constants as well as to predicates. In addition, they have such simple semantics that implementation becomes more efficient. Finally, they provide a client-side interface which is useful for customizing web pages.

収録刊行物

• IEICE Transactions on Information and Systems

  IEICE Transactions on Information and Systems E91-D (6), 1827-1829, 2008

  一般社団法人 電子情報通信学会

キーワード

• prolog
• semantic Web
• interface

詳細情報

• CRID: 1390282679356013696
• NII論文ID: 10026804616
• NII書誌ID: AA10826272
• DOI: 10.1093/ietisy/e91-d.6.1827
• ISSN: 17451361
• ISSN: 09168532
• Web Site: https://www.jstage.jst.go.jp/article/transinf/E91.D/6/E91.D_6_1827/_pdf
• 本文言語コード: en
• データソース種別:
  • JaLC
  • Crossref
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可