1151 search results - page 79 / 231 » Collaborative Programming: Applications of Logic and Automat... |
119
Voted
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
146
Voted
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
162
click to vote
SEBD
2001
15 years 4 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
CADE
2005
Springer
16 years 3 months ago
2005
Springer
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...
139
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...