421 search results - page 21 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
CSL
2006
Springer
14 years 11 months ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
114
click to vote
DLOG
2009
14 years 8 months ago
2009
Ontology matching is one of the key research topics in the field of the Semantic Web. There are many matching systems that generate mappings between different ontologies either aut...
103
click to vote
DLOG
2009
14 years 8 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....
EON
2008
15 years 14 days 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...
EUROMICRO
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper reports on the development of QoSOnt: an ontology for Quality of Service (QoS). Particular focus is given to its application in the field of service-centric systems. Qo...