1331 search results - page 75 / 267 » Description logic reasoning using the PTTP approach |
175
click to vote
OWLED
2008
15 years 8 months ago
2008
We study conjunctive query answering in the description logic EL, the core of the designated OWL2-EL profile of OWL2. In particular, we present an approach that allows the use of c...
159
click to vote
DLOG
2008
15 years 9 months ago
2008
Abstract. We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid satisfiability algorithm for the Descript...
199
click to vote
ICCS
1998
Springer
15 years 11 months ago
1998
Springer
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics),...
211
click to vote
DALT
2009
Springer
15 years 10 months ago
2009
Springer
We propose a framework to compute the utility of a proposal w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formulas ...
168
click to vote
COLING
2002
15 years 6 months ago
2002
We present a principled approach to the problem of connecting a controlled document authoring system with a knowledge base. We start by describingclosed-world authoring situations...