322 search results - page 37 / 65 » Practical Reasoning for Expressive Description Logics |
108
Voted
DLOG
2003
15 years 3 months ago
2003
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...
119
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
We present a resolution-based decision procedure for the description logic SHOIQ--the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, an...
137
click to vote
MKWI
2008
15 years 3 months ago
2008
: Matchmaking between offers and requests is an essential mechanism in electronic market places. Description Logics have been proposed as a appropriate framework for representing o...
132
Voted
DLOG
2010
14 years 12 months ago
2010
The task of generating referring expressions, an important subtask of Natural Language Generation is to generate phrases that uniquely identify domain entities. Until recently, man...
111
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this pape...