3793 search results - page 448 / 759 » Expressive Description Logics |
133
click to vote
ASPDAC
1998
ACM
15 years 11 months ago
1998
ACM
—An AND-OR-EXOR network, where the output EXOR gate has only two inputs, is one of the simplest three-level architecture. This network realizes an EXOR of two sum-of-products exp...
193
click to vote
CNL
2009
15 years 8 months ago
2009
Logic-based controlled natural languages usually provide some facility for compositional representation, minimally including sentence level coordination and sometimes subordination...
221
click to vote
JAPLL
2010
15 years 5 months ago
2010
We provide complete axiomatizations for several fragments of XPath: sets of equivalences from which every other valid equivalence is derivable. Specifically, we axiomatize downwar...
206
Voted
AI
2009
Springer
16 years 2 months ago
2009
Springer
This paper shows that a detailed, although non-emotional, description of event or an action can be a reliable source for learning opinions. Empirical results show the practical uti...
254
click to vote
MIDDLEWARE
2007
Springer
16 years 1 months ago
2007
Springer
With the growing number of service advertisements in service marketplaces, there is a need for matchmakers which select and rank functionally similar services based on nonfunction...