3793 search results - page 145 / 759 » Expressive Description Logics |
157
click to vote
AIML
2008
15 years 6 months ago
2008
A logic LTD is defined, inspired by [37]. It is syntactically like basic modal logic with an additional unary operator but it has an interval-based semantics on structures with arb...
137
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended...
ACL
1998
15 years 5 months ago
1998
: The goal of this paper is to provide computable account for some definite descriptions. To this end, we define in terms of inclusion the notion of distinguishing description and ...
150
click to vote
ICWS
2008
IEEE
15 years 6 months ago
2008
IEEE
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....
123
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Customers of complex IT-services increasingly demand integrated value bundles that fit their individual needs. At the same time, IT service providers are facing commoditization of...