Skip to search form
Skip to main content
>
Semantic Scholar
Semantic Scholar's Logo
Search
Sign In
Create Free Account
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
Create Alert
Related topics
Related topics
8 relations
F-logic
First-order logic
Flora-2
Logic programming
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Web Semantics: Science, Services and Agents on the World Wide Web
Regina Motz
,
Edelweis Rohrer
,
P. Severi
2015
Corpus ID: 1736784
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
2015
2015
The description logic SHIQ with a flexible meta-modelling hierarchy
Regina Motz
,
Edelweis Rohrer
,
P. Severi
J. Web Semant.
2015
Corpus ID: 766920
This work is motivated by a real-world case study where it is necessary to integrate and relate existing ontologies through meta…
Expand
Highly Cited
2008
Highly Cited
2008
Rule Interchange Format: The Framework
M. Kifer
RuleML
2008
Corpus ID: 1421937
The Rule Interchange Format (RIF) activity within the World Wide Web Consortium (W3C) aims to develop a standard for exchanging…
Expand
2003
2003
The Role of the Semantic Web in Pervasive Context-Aware Systems ?
H. Chen
,
Timothy W. Finin
,
A. Joshi
2003
Corpus ID: 12354977
This paper describes an ontology expressed in OWL for supporting agent based context-aware systems in a pervasive computing…
Expand
2003
2003
Storing and Querying Ontologies in Logic Databases
Timo Weithöner
,
T. Liebig
,
G. Specht
SWDB
2003
Corpus ID: 3992633
The intersection of Description Logic inspired ontology languages with Logic Programs has been recently analyzed in [GHV D03…
Expand
1995
1995
Efficient Execution of HiLog in WAM-based Prolog Implementations
Konstantinos Sagonas
,
D. Warren
ICLP
1995
Corpus ID: 18771991
In this paper we address the problem of eeciently implementing HiLog, a logic programming language with higher-order syntax and…
Expand
1995
1995
Sorted HiLog: Sorts in Higher-Order Logic Data Languages
W. Chen
,
M. Kifer
ICDT
1995
Corpus ID: 15695841
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
HILOG: A Foundation for Higher-Order Logic Programming
W. Chen
,
M. Kifer
,
D. Warren
J. Log. Program.
1993
Corpus ID: 10219688
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
A first-order theory of types and polymorphism in logic programming
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
HiLog as a Platform for Database Languages
W. Chen
,
M. Kifer
,
D. Warren
IEEE Data Eng. Bull.
1989
Corpus ID: 34723836
We argue that predicate calculus is not sufficient as a basis for the next generation of database languages. To fill in the gap…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE