Sciweavers

54 search results - page 7 / 11
» Temporalising Tractable Description Logics
Sort
View
DEXAW
2007
IEEE
160views Database» more  DEXAW 2007»
14 years 2 months ago
RDF and Logic: Reasoning and Extension
In this paper we explore embeddings of the various kinds of RDF entailment in F-Logic. We show that the embeddings of simple, RDF, and RDFS entailment, as well as a large fragment...
Jos de Bruijn, Stijn Heymans
DLOG
2011
12 years 11 months ago
On Prototypes for Winslett's Semantics of DL-Lite ABox Evolution
Evolution of Knowledge Bases expressed in Description Logics (DLs) proved its importance. Most studies on evolution in DLs have focused on modelbased approaches to evolution semant...
Evgeny Kharlamov, Dmitriy Zheleznyakov
DLOG
2008
13 years 10 months ago
Classifying Fuzzy Subsumption in Fuzzy-EL+
Abstract. Fuzzy Description Logics (f-DLs) have been proposed as extensions of classical Description Logics able to handle imprecise and vague knowledge. Although several extension...
Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan
POPL
2012
ACM
12 years 3 months ago
Towards a program logic for JavaScript
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
Philippa Gardner, Sergio Maffeis, Gareth David Smi...
WEBI
2009
Springer
14 years 2 months ago
Measuring Inconsistency in DL-Lite Ontologies
Abstract—Measuring Inconsistency in ontologies is an important topic in ontology engineering as it can provide extra information for dealing with inconsistency. Many approaches h...
Liping Zhou, Houkuan Huang, Guilin Qi, Yue Ma, Zhi...