3793 search results - page 225 / 759 » Expressive Description Logics |
167
click to vote
NGC
2000
Springer
15 years 6 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
151
click to vote
TCS
2002
15 years 6 months ago
2002
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...
164
click to vote
STOC
2006
ACM
16 years 7 months ago
2006
ACM
Producing a small DNF expression consistent with given data is a classical problem in computer science that occurs in a number of forms and has numerous applications. We consider ...
179
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
We describe ongoing research to support the construction of terminologies with Description Logics. For the explanation of subsumption we search for particular concepts because of t...
191
click to vote
COSIT
1999
Springer
15 years 11 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...