593 search results - page 31 / 119 » RDF and Logic: Reasoning and Extension |
104
Voted
DLOG
1996
15 years 1 months ago
1996
fe. Althoughthose legal concepts are abstract in the sense that there always exist possibilities to interpret them in various ways, lawyers seem to understand themas real things at...
150
Voted
LPAR
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...
140
Voted
CADE
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
105
click to vote
CSL
2006
Springer
15 years 19 days ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
127
click to vote
ACMICEC
2005
ACM
15 years 6 months ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...