Results 11  20
of
220
On the Relative Expressiveness of Description Logics and Predicate Logics
 ARTIFICIAL INTELLIGENCE JOURNAL
, 1996
"... It is natural to view concept and role definitions in Description Logics as expressing monadic and dyadic predicates in Predicate Calculus. We show that the descriptions built using the constructors usually considered in the DL literature are characterized exactly as the predicates definable by form ..."
Abstract

Cited by 145 (3 self)
 Add to MetaCart
It is natural to view concept and role definitions in Description Logics as expressing monadic and dyadic predicates in Predicate Calculus. We show that the descriptions built using the constructors usually considered in the DL literature are characterized exactly as the predicates definable by formulas in ¨L³, the subset of First Order Predicate Calculus with monadic and dyadic predicates which allows only three variable symbols. In order to handle “number bounds”, we allow numeric quantifiers, and for transitive closure of roles we use infinitary disjunction. Using previous results in the literature concerning languages with limited numbers of variables, we get as corollaries the existence of formulae of FOPC which cannot be expressed as descriptions. We also show that by omitting role composition, descriptions express exactly the formulae in ¨L², which is known to be decidable.
An Optimal Lower Bound on the Number of Variables for Graph Identification
 Combinatorica
, 1992
"... In this paper we show that Ω(n) variables are needed for firstorder logic with counting to identify graphs on n vertices. The kvariable language with counting is equivalent to the (k − 1)dimensional WeisfeilerLehman method. We thus settle a longstanding open problem. Previously it was an open q ..."
Abstract

Cited by 135 (9 self)
 Add to MetaCart
In this paper we show that Ω(n) variables are needed for firstorder logic with counting to identify graphs on n vertices. The kvariable language with counting is equivalent to the (k − 1)dimensional WeisfeilerLehman method. We thus settle a longstanding open problem. Previously it was an open question whether or not 4 variables suffice. Our lower bound remains true over a set of graphs of color class size 4. This contrasts sharply with the fact that 3 variables suffice to identify all graphs of color class size 3, and 2 variables suffice to identify almost all graphs. Our lower bound is optimal up to multiplication by a constant because n variables obviously suffice to identify graphs on n vertices. 1
On Uniformity within NC¹
 JOURNAL OF COMPUTER AND SYSTEM SCIENCES
, 1990
"... In order to study circuit complexity classes within NC¹ in a uniform setting, we need a uniformity condition which is more restrictive than those in common use. Two such conditions, stricter than NC¹ uniformity [Ru81,Co85], have appeared in recent research: Immerman's families of circuits defined by ..."
Abstract

Cited by 127 (19 self)
 Add to MetaCart
In order to study circuit complexity classes within NC¹ in a uniform setting, we need a uniformity condition which is more restrictive than those in common use. Two such conditions, stricter than NC¹ uniformity [Ru81,Co85], have appeared in recent research: Immerman's families of circuits defined by firstorder formulas [Im87a,Im87b] and a uniformity corresponding to Buss' deterministic logtime reductions [Bu87]. We show that these two notions are equivalent, leading to a natural notion of uniformity for lowlevel circuit complexity classes. We show that recent results on the structure of NC¹ [Ba89] still hold true in this very uniform setting. Finally, we investigate a parallel notion of uniformity, still more restrictive, based on the regular languages. Here we give characterizations of subclasses of the regular languages based on their logical expressibility, extending recent work of Straubing, Th'erien, and Thomas [STT88]. A preliminary version of this work appeared as [BIS88].
The expressive powers of logic programming semantics
 Abstract in Proc. PODS 90
, 1995
"... We study the expressive powers of two semantics for deductive databases and logic programming: the wellfounded semantics and the stable semantics. We compare them especially to two older semantics, the twovalued and threevalued program completion semantics. We identify the expressive power of the ..."
Abstract

Cited by 84 (5 self)
 Add to MetaCart
We study the expressive powers of two semantics for deductive databases and logic programming: the wellfounded semantics and the stable semantics. We compare them especially to two older semantics, the twovalued and threevalued program completion semantics. We identify the expressive power of the stable semantics, and in fairly general circumstances that of the wellfounded semantics. In particular, over infinite Herbrand universes, the four semantics all have the same expressive power. We discuss a feature of certain logic programming semantics, which we call the Principle of Stratification, a feature allowing a program to be built easily in modules. The threevalued program completion and wellfounded semantics satisfy this principle. Over infinite Herbrand models, we consider a notion of translatability between the threevalued program completion and wellfounded semantics which is in a sense uniform in the strata. In this sense of uniform translatability we show the wellfounded semantics to be more expressive than the threevalued program completion. The proof is a corollary of our result that over nonHerbrand infinite models, the wellfounded semantics is more expressive than the threevalued program completion semantics. 1
Toward Logic Tailored for Computational Complexity
 COMPUTATION AND PROOF THEORY
, 1984
"... Whereas firstorder logic was developed to confront the infinite it is often used in computer science in such a way that infinite models are meaningless. We discuss the firstorder theory of finite structures and alternatives to firstorder logic, especially polynomial time logic. ..."
Abstract

Cited by 75 (6 self)
 Add to MetaCart
Whereas firstorder logic was developed to confront the infinite it is often used in computer science in such a way that infinite models are meaningless. We discuss the firstorder theory of finite structures and alternatives to firstorder logic, especially polynomial time logic.
GENOA  A customizable language and frontend independent code analyzer
 IN PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
, 1992
"... Programmers working on large software systems spend a great deal of time examining code and trying to understand it. Code Analysis tools (e.g., cross referencing tools such as CIA and Cscope) can be very helpful in this process. In this paper we describe genoa, an application generator that can pro ..."
Abstract

Cited by 63 (5 self)
 Add to MetaCart
Programmers working on large software systems spend a great deal of time examining code and trying to understand it. Code Analysis tools (e.g., cross referencing tools such as CIA and Cscope) can be very helpful in this process. In this paper we describe genoa, an application generator that can produce a whole range of useful code analysis tools. genoa is designed to be language and frontend independent; it can be interfaced to any frontend for any language that produces an attributed parse tree, simply by writing an interface specification. While genoa programs can perform arbitrary analyses on the parse tree, the genoa language has special, compact iteration operators that are tuned for expressing simple, polynomial time analysis programs; in fact, there is a useful sublanguage of genoa that can express precisely all (and only) polynomial time (PTIME) analysis programs on parsetrees. Thus, we argue that genoa is a convenient "little language" to implement simple, fast analysis t...
Constraint Programming and Database Query Languages
 In Proc. 2nd Conference on Theoretical Aspects of Computer Software (TACS
, 1994
"... . The declarative programming paradigms used in constraint languages can lead to powerful extensions of Codd's relational data model. The development of constraint database query languages from logical database query languages has many similarities with the development of constraint logic programmin ..."
Abstract

Cited by 60 (3 self)
 Add to MetaCart
. The declarative programming paradigms used in constraint languages can lead to powerful extensions of Codd's relational data model. The development of constraint database query languages from logical database query languages has many similarities with the development of constraint logic programming from logic programming, but with the additional requirements of data efficient, setatatime, and bottomup evaluation. In this overview of constraint query languages (CQLs) we first present the framework of [41]. The principal idea is that: "the ktuple (or record) data type can be generalized by a conjunction of quantifierfree constraints over k variables". The generalization must preserve various language properties of the relational data model, e.g., the calculus/algebra equivalence, and have time complexity polynomial in the size of the data. We next present an algebra for dense order constraints that is simpler to evaluate than the calculus described in [41], and we sharpen some of...
Describing Graphs: a FirstOrder Approach to Graph Canonization
, 1990
"... In this paper we ask the question, "What must be added to firstorder logic plus leastfixed point to obtain exactly the polynomialtime properties of unordered graphs?" We consider the languages Lk consisting of firstorder logic restricted to k variables and Ck consisting of Lk plus "counting ..."
Abstract

Cited by 57 (7 self)
 Add to MetaCart
In this paper we ask the question, "What must be added to firstorder logic plus leastfixed point to obtain exactly the polynomialtime properties of unordered graphs?" We consider the languages Lk consisting of firstorder logic restricted to k variables and Ck consisting of Lk plus "counting quantifiers". We give efficient canonization algorithms for graphs characterized by Ck or Lk . It follows from known results that all trees and almost all graphs are characterized by C2 .