Sciweavers

2181 search results - page 191 / 437
» Ontologies and Description Logics
Sort
View
FOIS
2006
15 years 7 months ago
The Instrumental Stit A Study of Action and Instrument
The focus of this paper are actions in which agents employ instruments in order to achieve desired outcomes. I explore the ontological structure of such actions and the semantic fe...
Pawel Garbacz
CADE
2006
Springer
15 years 10 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»
15 years 6 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
ICDS
2010
IEEE
15 years 11 months ago
Towards Learning Domain Ontology from Legacy Documents
—Learning ontology from text is a challenge in knowledge engineering research and practice. Learning relations between concepts is even more difficult work. However, when conside...
Yijian Wu, Shaolei Zhang, Wenyun Zhao
CSSE
2008
IEEE
15 years 8 months ago
The Design and Implementation of Ontology and Rules Based Knowledge Base for Transportation
: The traditional transportation information inquiry mainly uses key words based on the text, and the service the inquiry system provided is onefold and only aims at one transporti...
Gang Cheng, Qingyun Du, Hongli Ma