1663 search results - page 99 / 333 » Description Logics for Interoperability |
154
click to vote
BIRTHDAY
2012
Springer
13 years 11 months ago
2012
Springer
We introduce the use of asynchronous logic automata (ALA) for cryptography. ALA aligns the descriptions of hardware and software for portability, programmability, and scalability. ...
142
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. aRa is an automatic theorem prover for various kinds of relation algebras. It is based on Gordeev’s Reduction Predicate Calculi for n-variable logic (RPCn) which allow ...
148
click to vote
INLG
2010
Springer
15 years 2 months ago
2010
Springer
Ontologies and datasets for the Semantic Web are encoded in OWL formalisms that are not easily comprehended by people. To make ontologies accessible to human domain experts, sever...
129
click to vote
RR
2010
Springer
15 years 2 months ago
2010
Springer
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
154
click to vote
ICDCIT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A domain-specific service registry should satisfy two requirements at least: coping with diverse service description requirements from different services; supporting sema...