2381 search results - page 162 / 477 » On Ordering Descriptions in a Description Logic |
114
click to vote
JAPLL
2010
15 years 10 days ago
2010
We introduce the extended modal logic EML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as nu...
105
click to vote
SOCO
2002
Springer
15 years 1 months ago
2002
Springer
The study introduces a new class of fuzzy neurons and fuzzy neural networks exploiting a model of a generalized multivalued exclusive-OR (XOR) operation. The proposed neural archit...
130
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
111
click to vote
CLEF
2006
Springer
15 years 5 months ago
2006
Springer
This paper describes in detail the combination of NLP methods applied to the treatment of logic forms in the topic processing and statistical methods applied to the search engine ...
117
click to vote
KBSE
1999
IEEE
15 years 6 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...