• Publications
  • Influence
Logical foundations of object-oriented and frame-based languages
TLDR
We propose a novel formalism, called Frame Logic (abbr., F-logic), that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages. Expand
  • 1,825
  • 130
  • PDF
Theory of Generalized Annotated Logic Programming and its Applications
TLDR
We introduce a new semantics for multivalued logic programming based on ideals of lattices and a model theory for Fitting's bilattice-based logic programming, which until now has been characterized model-theoretically. Expand
  • 521
  • 63
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
TLDR
This paper introduces expressive classes of TGDs defined via syntactic restrictions: guarded TGDs (GTGDs) and weakly guarded sets of GWGDs. Expand
  • 401
  • 36
  • PDF
On the Move to Meaningful Internet Systems
  • 591
  • 34
  • PDF
HILOG: A Foundation for Higher-Order Logic Programming
TLDR
We describe a novel logic, called HiLog, and show that it provides a more suitable basis for logic programming than does traditional predicate logic. Expand
  • 430
  • 31
  • PDF
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
TLDR
We propose a database logic which accounts in a clean declarative fashion for most of the “object-oriented” features such as object identity, complex objects, inheritance, methods, etc. Expand
  • 452
  • 27
  • PDF
Transaction Logic Programming
TLDR
An extension of predicate logic, called Transaction Logic, is proposed, which accounts in a clean and declarative fashion for the phenomenon of state changes in logic programs and databases. Expand
  • 187
  • 25
Querying object-oriented databases
TLDR
We present a new query language, henceforth referred to as XSQL, that incorporates fea tures not found in earlier languages. Expand
  • 358
  • 17
D16.1v0.2 The Web Service Modeling Language WSML
We introduce the Web Service Modeling Language WSML which provides a formal syntax and semantics for the Web Service Modeling Ontology WSMO. WSML is based on different logical formalisms, namely,Expand
  • 103
  • 16
  • PDF
...
1
2
3
4
5
...