Sciweavers

6794 search results - page 893 / 1359
» Semantics of Visual Languages
Sort
View
RR
2009
Springer
16 years 1 months ago
Paraconsistent Reasoning for OWL 2
Abstract. A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can ...
Yue Ma, Pascal Hitzler
SEMWEB
2009
Springer
16 years 1 months ago
Towards Integrity Constraints in OWL
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. Howeve...
Evren Sirin, Jiao Tao
SYNASC
2008
IEEE
274views Algorithms» more  SYNASC 2008»
16 years 1 months ago
Verbalising R2ML Rules into SBVR
Nowadays, business rules receive a lot of attention from both industry and academia, as they are considered the ideal vehicle for capturing business logic. The purpose of our pape...
Oana Nicolae, Gerd Wagner
IJCNN
2007
IEEE
16 years 1 months ago
Neurolinguistic Approach to Vector Representation of Medical Concepts
Abstract—Putative brain processes responsible for understanding language are based on spreading activation in semantic networks, providing enhanced representations that involve c...
Wlodzislaw Duch, Pawel Matykiewicz, John Pestian
ICLP
2007
Springer
16 years 1 months ago
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...