Sciweavers

1283 search results - page 114 / 257
» Reasoning With Weighted Ontologies
Sort
View
TIME
1994
IEEE
15 years 10 months ago
A Temporal Structure that Distinguishes between the Past, Present, and Future
We present a two dimensional temporal structure that has an ever changing present. Relative to each present, there is a past and future. The main representational advantage our tw...
André Trudel
DLOG
2008
15 years 8 months ago
Essential and Mandatory Part-Whole Relations in Conceptual Data Models
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
Alessandro Artale, C. Maria Keet
DLOG
2004
15 years 7 months ago
Semantics Driven Support for Query Formulation
In this paper we describe the principles of the design and development of an intelligent query interface, done in the context of the SEWASIE (SEmantic Webs and AgentS in Integrate...
Paolo Dongilli, Enrico Franconi, Sergio Tessaris
RR
2007
Springer
16 years 17 days ago
Decidability Under the Well-Founded Semantics
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...
Natalia Cherchago, Pascal Hitzler, Steffen Hö...
DLOG
2011
14 years 10 months ago
The Complexity of Conjunctive Query Abduction in DL-Lite
In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for DLs, where research focused on the...
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, G...