836 search results - page 8 / 168 » Description logic programs: combining logic programs with de... |
125
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
127
click to vote
CADE
2008
Springer
16 years 2 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...
107
click to vote
CADE
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
131
Voted
RR
2010
Springer
15 years 7 days ago
2010
Springer
Translations to (first-order) datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities o...
102
click to vote
ESWS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...