Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

HiLog

HiLog is a programming logic with higher-order syntax, which allows arbitrary terms to appear in predicate and function positions. However, the model… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
a b s t r a c t This work is motivated by a real-world case study where it is necessary to integrate and relate existing… Expand
  • figure 2
  • figure 1
  • figure 3
  • figure 6
  • figure 7
2015
2015
This work is motivated by a real-world case study where it is necessary to integrate and relate existing ontologies through meta… Expand
  • figure 2
  • figure 1
  • figure 3
  • figure 6
  • figure 7
Highly Cited
2008
Highly Cited
2008
The Rule Interchange Format (RIF) activity within the World Wide Web Consortium (W3C) aims to develop a standard for exchanging… Expand
2003
2003
This paper describes an ontology expressed in OWL for supporting agent based context-aware systems in a pervasive computing… Expand
2003
2003
The intersection of Description Logic inspired ontology languages with Logic Programs has been recently analyzed in [GHV D03… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
1995
1995
In this paper we address the problem of eeciently implementing HiLog, a logic programming language with higher-order syntax and… Expand
1995
1995
HiLog enhances the modeling capabilities of deductive data bases and logic programming with higher-order and meta-data constructs… Expand
Highly Cited
1993
Highly Cited
1993
Abstract We describe a novel logic, called HiLog, and show that it provides a more suitable basis for logic programming than does… Expand
1991
1991
  • M. Kifer, J. Wu
  • [] Proceedings Sixth Annual IEEE Symposium on…
  • 1991
  • Corpus ID: 15822242
A logic called typed predicate calculus (TPC) that gives declarative meaning to logic programs with type declarations and type… Expand
Highly Cited
1989
Highly Cited
1989
We argue that predicate calculus is not sufficient as a basis for the next generation of database languages. To fill in the gap… Expand
  • table 1