3032 search results - page 178 / 607 » Description Logic Rules |
149
click to vote
LICS
2009
IEEE
16 years 8 days ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
169
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Semantic Web Services are emerging for their promise to produce a more accurate and precise Web Service discovery process. However, most of research approaches focus only...
169
click to vote
KIVS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Semantic Web services envision the automated discovery and selection of Web services. This can be realised by adding semantic information to advertised services and servi...
151
click to vote
SAC
2010
ACM
16 years 14 days ago
2010
ACM
A concept learning framework for terminological representations is introduced. It is grounded on a method for inducing logic decision trees as an adaptation of the classic tree in...
155
click to vote
ER
2006
Springer
15 years 9 months ago
2006
Springer
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...