979 search results - page 19 / 196 » Footprints in Local Reasoning |
DLOG
2008
13 years 9 months ago
2008
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...
DLOG
2007
13 years 9 months ago
2007
In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or re...
ICFP
2003
ACM
14 years 22 days ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
LPNMR
2005
Springer
14 years 1 months ago
2005
Springer
CODES
2005
IEEE
14 years 1 months ago
2005
IEEE
Byte-code based languages are slowly becoming adopted in embedded domains because of improved security and portability. Another potential reason for their adoption is the reputati...