2611 search results - page 119 / 523 » A Logic for Concepts and Similarity |
122
click to vote
DLOG
2006
15 years 3 months ago
2006
Tree automata are often used for satisfiability testing in the area of description logics, which usually yields ExpTime complexity results. We examine conditions under which this ...
AAAI
1998
15 years 3 months ago
1998
In this paper we present a fuzzy version of SHOIN(D), the corresponding Description Logic of the ontology description language OWL DL. We show that the representation and reasonin...
102
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...
SEMWEB
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper we discuss a book annotation translation application scenario that requires multi-concept alignment – where one set of concepts is aligned to another set....
137
click to vote
CLIMA
2006
15 years 3 months ago
2006
Abstract. The paradigm of argumentation has been used in the literature to assign meaning to knowledge bases in general, and logic programs in particular. With this paradigm, rules...