9145 search results - page 205 / 1829 » Description Logic Systems |
216
click to vote
DLOG
2011
14 years 10 months ago
2011
A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web app...
226
click to vote
FMLDO
2000
Springer
15 years 10 months ago
2000
Springer
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
164
click to vote
ENTCS
2008
15 years 6 months ago
2008
Logical frameworks serve as meta-languages to represent deductive systems, sometimes requiring special purpose meta logics to reason about the representations. In this work, we de...
189
click to vote
ENTCS
2000
15 years 6 months ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
176
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
A classical higher-order logic PFsub of partial functions is defined. The logic extends a version of Farmer's logic PF by enriching the type system of the logic with subset ty...