2381 search results - page 106 / 477 » On Ordering Descriptions in a Description Logic |
CSL
2001
Springer
15 years 6 months ago
2001
Springer
We show in this paper a special extended logic, partition logic based on so called partition quantifiers, is able to capture some important complexity classes NP, P and NL by its ...
117
click to vote
TABLEAUX
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...
AAAI
2008
15 years 4 months ago
2008
Many semantic web applications require support for mappings between roles (or properties) defined in multiple independently developed ontology modules. Distributed Description Log...
111
click to vote
CN
1998
15 years 1 months ago
1998
A brief explanation is given of the language ANISE (Architectural Notions In Service Engineering) that can be used to describe generic services as well as telecommunications servi...
115
click to vote
GI
2007
Springer
15 years 7 months ago
2007
Springer
: With the recent developments in technology, new and diverse devices are being introduced into the pervasive world. This has raised new challenges for the discovery of devices and...