Sciweavers

1436 search results - page 110 / 288
» Description Logic Unplugged
Sort
View
CADE
2006
Springer
15 years 1 months ago
Presburger Modal Logic Is PSPACE-Complete
We introduce a Presburger modal logic PML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as num...
Stéphane Demri, Denis Lugiez
APAL
2010
111views more  APAL 2010»
14 years 10 months ago
Resource modalities in tensor logic
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more prim...
Paul-André Melliès, Nicolas Tabareau
ESWS
2006
Springer
15 years 1 months ago
The Web Service Modeling Language WSML: An Overview
The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeli...
Jos de Bruijn, Holger Lausen, Axel Polleres, Diete...
DLOG
2001
14 years 11 months ago
TBoxes do not Yield a Compact Representation of Least Common Subsumers
For Description Logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the input descripti...
Franz Baader, Anni-Yasmin Turhan
IEAAIE
2005
Springer
15 years 3 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...