1835 search results - page 121 / 367 » Classifying Description Logics |
142
click to vote
EON
2008
15 years 5 months ago
2008
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
136
Voted
JWSR
2007
15 years 3 months ago
2007
: We propose a framework and polynomial algorithms for semantic-based automated Web service composition, fully compliant with Semantic Web technologies. The approach exploits the r...
116
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
117
click to vote
JNCA
2007
15 years 3 months ago
2007
Composite web services are defined using the industry-standard language BPEL (Business Process Execution Logic). There is a strong need for graphical and automated support for th...
128
click to vote
LOGCOM
2006
15 years 3 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...