Sciweavers

1587 search results - page 42 / 318
» The Semantics of Extended SOFL
Sort
View
CL
2000
Springer
13 years 7 months ago
Semantics of well-moded input-consuming logic programs
Recent logic programming languages employ dynamic scheduling of calls to improve e ciency of programs. Dynamic scheduling is realized by allowing some calls to be dynamically &quo...
Annalisa Bossi, Sandro Etalle, Sabina Rossi
SEMWEB
2007
Springer
14 years 1 months ago
Ontology-based Semantic Relevance Measure
Semantic relevance among information resources can play an effective role in information retrieval, and there are several different approaches to measure semantic similarities. H...
Sang Keun Rhee, Jihye Lee, Myon-Woong Park
ESWS
2007
Springer
13 years 11 months ago
SALT - Semantically Annotated LaTeX for Scientific Publications
Machine-understandable data constitutes the foundation for the Semantic Web. This paper presents a viable way for authoring and annotating Semantic Documents on the desktop. In our...
Tudor Groza, Siegfried Handschuh, Knud Möller...
ASWC
2006
Springer
13 years 11 months ago
Semantic Wiki as a Lightweight Knowledge Management System
Since its birth in 1995, Wiki has become more and more popular. This paper presents a Semantic Wiki, a Wiki extended to include the ideas of Semantic Web. The proposed Semantic Wik...
Hendry Muljadi, Hideaki Takeda, Aman Shakya, Shoko...
DLOG
2008
13 years 10 months ago
Paraconsistent Reasoning for Expressive and Tractable Description Logics
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...
Yue Ma, Pascal Hitzler, Zuoquan Lin