Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Basic Description Logics
This chapter provides an introduction to Description Logics as a formal language for representing knowledge and reasoning about it. It first gives a short overview of the ideas underlying Description… Expand
The Complexity of Concept Languages
- F. Donini, M. Lenzerini, D. Nardi, W. Nutt
- Mathematics, Computer Science
- KR
- 10 April 1997
Abstract A basic feature of Terminological Knowledge Representation Systems is to represent knowledge by means of taxonomies, here called terminologies, and to provide a specialized reasoning engine… Expand
Evolution of DL-Lite Knowledge Bases
- Diego Calvanese, E. Kharlamov, W. Nutt, D. Zheleznyakov
- Computer Science
- International Semantic Web Conference
- 7 November 2010
We study the problem of evolution for Knowledge Bases (KBs) expressed in Description Logics (DLs) of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of OWL 2,… Expand
An Epistemic Operator for Description Logics
- F. Donini, M. Lenzerini, D. Nardi, W. Nutt, Andrea Schaerf
- Mathematics, Computer Science
- Artif. Intell.
- 1 April 1998
Abstract Description logics (also called terminological logics, or concept languages) are fragments of first-order logic that provide a formal account of the basic features of frame-based systems.… Expand
Rewriting aggregate queries using views
- S. Cohen, W. Nutt, Alexander Serebrenik
- Computer Science
- PODS '99
- 1 May 1999
We investigate the problem of rewriting queries with aggregate operators using views that may or may not contain aggregate operators. A rewriting of a query is a second query that uses view… Expand
Subsumption algorithms for concept languages
- B. Hollunder, W. Nutt
- Mathematics
- 1990
We investigate the subsumption problem in logic-based knowledge representation languages of the KL-ONE family and give decision procedures. All our languages contain as a kernel the logical… Expand
The Relational Grid Monitoring Architecture: Mediating Information about the Grid
We have developed and implemented the Relational Grid Monitoring Architecture (R-GMA) as part of the DataGrid project, to provide a flexible information and monitoring service for use by other… Expand
R-GMA: An Information Integration System for Grid Monitoring
- A. Cooke, A. Gray, +18 authors D. O'Callaghan
- Computer Science
- CoopIS/DOA/ODBASE
- 3 November 2003
Computational Grids are distributed systems that provide access to computational resources in a transparent fashion. Collecting and providing information about the status of the Grid itself is called… Expand
Order-Sorted Equational Computation
- G. Smolka, W. Nutt, J. Goguen, J. Meseguer
- Mathematics
- 1989
Publisher Summary This chapter discusses order-sorted equational computation. Many-sorted equational logic is the basis for algebraic specifications, rewriting techniques, unification theory, and… Expand
Tractable Concept Languages
- F. Donini, M. Lenzerini, D. Nardi, W. Nutt
- Computer Science
- IJCAI
- 24 August 1991
We present two concept languages, called PL1 and PL2 which are extensions of TC. We prove that the subsumption problem in these languages can be solved in polynomial time. Both languages include a… Expand