Sciweavers

482 search results - page 17 / 97
» Expressive probabilistic description logics
Sort
View
SUM
2009
Springer
14 years 1 months ago
Weighted Description Logics Preference Formulas for Multiattribute Negotiation
We propose a framework to compute the utility of an agreement w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formula...
Azzurra Ragone, Tommaso Di Noia, Francesco M. Doni...
IEAAIE
2005
Springer
14 years 2 months ago
Ontology-Based Natural Language Parser for E-Marketplaces
We propose an approach to Natural Language Processing exploiting knowledge domain in an e-commerce scenario. Based on such modeling an NLP parser is presented, aimed at translating...
Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciasci...
DLOG
2007
13 years 11 months ago
Deciding ALBO with Tableau
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
Renate A. Schmidt, Dmitry Tishkovsky
FUIN
2010
83views more  FUIN 2010»
13 years 6 months ago
Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
We study an extension of monadic second-order logic of order with the uncountability quantifier "there exist uncountably many sets". We prove that, over the class of fini...
Vince Bárány, Lukasz Kaiser, Alexand...
DLOG
1998
13 years 10 months ago
Combining Expression and Content in Domains for Dialog Managers
We present work in progress on abstracting dialog managers from their domain in order to implement a dialog manager development tool which takes (among other data) a domain descri...
Bernd Ludwig, Günther Görz, Heinrich Nie...