Sciweavers

329 search results - page 38 / 66
» Formal Support for Representing and Automating Semantic Inte...
Sort
View
WWW
2003
ACM
14 years 8 months ago
A software framework for matchmaking based on semantic web technology
An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardization of ontologies, message content...
Lei Li, Ian Horrocks
SEKE
2005
Springer
14 years 1 months ago
Ontologies of Software Artifacts and Activities: Resource Annotation and Application to Learning Technologies
The emerging consensus on the boundaries and main elements of the Software Engineering (SE) discipline represents an opportunity for the engineering of shared conceptualizations t...
Miguel-Ángel Sicilia, Juan J. Cuadrado, Dan...
NMR
2004
Springer
14 years 1 months ago
Semantics of disjunctive programs with monotone aggregates - an operator-based approach
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
Nikolay Pelov, Miroslaw Truszczynski
ICDAR
2009
IEEE
14 years 2 months ago
A Collaborative Interface for Multimodal Ink and Audio Documents
With the increased availability of pen-based devices, it becomes interesting to conduct and to archive multi-party communication sessions that involve audio and digital ink on a s...
Amit Regmi, Stephen M. Watt
KR
2000
Springer
13 years 11 months ago
A Logic Based Language for Parametric Inheritance
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...
Hasan M. Jamil