421 search results - page 21 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
104
click to vote
CSL
2006
Springer
15 years 18 days 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...
138
Voted
DLOG
2009
14 years 10 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...
115
Voted
DLOG
2009
14 years 10 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....
114
Voted
EON
2008
15 years 2 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...
EUROMICRO
2005
IEEE
15 years 6 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...