1331 search results - page 6 / 267 » Description logic reasoning using the PTTP approach |
ICEIS
2006
IEEE
14 years 1 months ago
2006
IEEE
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
Ontologies play a core role in the success of the Semantic Web as they provide a shared vocabulary for different resources and applications. Developing an error-free ontology is a...
DLOG
2009
13 years 5 months ago
2009
Abstract. Multi-attribute negotiation has been extensively studied from a gametheoretic viewpoint. In negotiation settings, utility functions are used to express agent preferences....
SEFM
2005
IEEE
14 years 28 days ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
SEMWEB
2009
Springer
13 years 12 months ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...