Sciweavers

640 search results - page 37 / 128
» Semantic Relations: Modelling Issues, Proposals and Possible...
Sort
View
ELPUB
2006
ACM
14 years 1 months ago
An Architecture of Authoring Environments for the Semantic Web
Among the new possibilities that the Semantic Web has enabled, the authoring task is considered as a key moment for semantic representation of knowledge to enhance publishing need...
Edgard Costa Oliveira, Mamede Lima-Marques
WOSP
2004
ACM
14 years 25 days ago
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
Juan Pablo López-Grao, José Mersegue...
LPNMR
2007
Springer
14 years 1 months ago
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
Martin Gebser, Torsten Schaub, Hans Tompits, Stefa...
ISPA
2005
Springer
14 years 27 days ago
OWL2Jess: A Transformational Implementation of the OWL Semantics
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency ...
Jing Mei, Elena Paslaru Bontas, Zuoquan Lin
FOIKS
2008
Springer
13 years 9 months ago
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
Martin Gebser, Torsten Schaub, Hans Tompits, Stefa...