Typed horn logic (extended abstract)

2005 ◽  
pp. 470-477
Author(s):  
Axel Poigné
Keyword(s):  
Horn Logic

Rule rewriting methods for efficient implementations of horn logic

1988 ◽  
pp. 114-139 ◽  
Author(s):  
Carlo Zaniolo ◽  
Domenico Saccà
Keyword(s):  
Horn Logic

Logics for the Semantic Web

2011 ◽  
pp. 24-43
Author(s):  
J. Bruijn
Keyword(s):  
Semantic Web ◽  
Logic Programming ◽  
Description Logic ◽  
Description Logics ◽  
Order Logic ◽  
First Order Logic ◽  
Horn Logic ◽  
First Order ◽  
Logical Language ◽  
Rule Languages

This chapter introduces a number of formal logical languages which form the backbone of the Semantic Web. They are used for the representation of both ontologies and rules. The basis for all languages presented in this chapter is the classical first-order logic. Description logics is a family of languages which represent subsets of first-order logic. Expressive description logic languages form the basis for popular ontology languages on the Semantic Web. Logic programming is based on a subset of first-order logic, namely Horn logic, but uses a slightly different semantics and can be extended with non-monotonic negation. Many Semantic Web reasoners are based on logic programming principles and rule languages for the Semantic Web based on logic programming are an ongoing discussion. Frame Logic allows object-oriented style (frame-based) modeling in a logical language. RuleML is an XML-based syntax consisting of different sublanguages for the exchange of specifications in different logical languages over the Web.

FUNDAMENTAL METHODS FOR HORN LOGIC AND ARTIFICIAL INTELLIGENCE APPLICATIONS

1992 ◽  
pp. 3-60
Author(s):  
Emmanuel KOUNALIS ◽  
Pierre MARQUIS
Keyword(s):  
Artificial Intelligence ◽  
Horn Logic

scholarly journals Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

2007 ◽  
Vol 373 (1-2) ◽  
pp. 70-91 ◽  
Author(s):  
Manuel Clavel ◽  
José Meseguer ◽  
Miguel Palomino
Keyword(s):  
Equational Logic ◽  
Rewriting Logic ◽  
Horn Logic ◽  
Membership Equational Logic

Cut and Weakening in Fuzzy Horn Logic

2005 ◽  
Vol 13 (5) ◽  
pp. 599-609
Author(s):  
Vilém Vychodil
Keyword(s):  
Horn Logic

A relative interpolation theorem for infinitary universal Horn logic and its applications

2006 ◽  
Vol 45 (3) ◽  
pp. 267-305 ◽  
Author(s):  
Alexej P. Pynko
Keyword(s):  
Interpolation Theorem ◽  
Horn Logic

Building fuzzy hybrid Horn logic rules on top of ontologies

2010 ◽  
Author(s):  
Huizhang Shen ◽  
Jidi Zhao ◽  
Jing Dong
Keyword(s):  
Horn Logic

Applying SLD-Resolution to a Class of Non-Horn Logic Programs

1994 ◽  
Vol 2 (2) ◽  
pp. 229-241 ◽  
Author(s):  
GRIGORIS ANTONIOU ◽  
ELMAR LANGETEPE
Keyword(s):  
Logic Programs ◽  
Horn Logic ◽  
Sld Resolution

Complexity and expressive power of second-order extended Horn logic

2013 ◽  
Vol 59 (1-2) ◽  
pp. 4-11
Author(s):  
Shiguang Feng ◽  
Xishun Zhao
Keyword(s):  
Expressive Power ◽  
Second Order ◽  
Horn Logic
Sign in / Sign up

Export Citation Format

Share Document