Sciweavers

476 search results - page 62 / 96
» Inconsistency-Tolerant Semantics for Description Logics
Sort
View
SEMWEB
2007
Springer
14 years 2 months ago
Towards Fine-grained Service Matchmaking by Using Concept Similarity
Several description frameworks to semantically describe and match services on the one hand and service requests on the other have been presented in the literature. Many of the curr...
Alberto Fernández, Axel Polleres, Sascha Os...
CORR
2008
Springer
137views Education» more  CORR 2008»
13 years 8 months ago
Combining generic judgments with recursive definitions
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
Andrew Gacek, Dale Miller, Gopalan Nadathur
DLOG
2003
13 years 9 months ago
Wine Agent: Semantic Web Testbed Application
The Wine Agent is a demonstration system that uses an underlying domain ontology to provide suitable wines for a given meal. In doing so it serves as a testbed, not only for the l...
Eric I. Hsu, Deborah L. McGuinness
KBSE
1999
IEEE
14 years 9 days ago
AML: An Architecture Meta-Language
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...
David S. Wile
ESWS
2007
Springer
14 years 2 months ago
Algorithms for Paraconsistent Reasoning with OWL
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuraci...
Yue Ma, Pascal Hitzler, Zuoquan Lin