Sciweavers

5284 search results - page 382 / 1057
» Ontologizing Semantic Relations
Sort
View
ATAL
2006
Springer
15 years 10 months ago
An ontology of social control tools
In multi-agent systems, social commitments are increasingly used to capture roles, social norms, the semantics of agent communication as well as other inter-agent dependencies. Th...
Philippe Pasquier, Roberto A. Flores, Brahim Chaib...
IMECS
2007
15 years 8 months ago
Development of Contents Management System Based on Light-Weight Ontology
—In the Structuring Nanotechnology Knowledge project, a material-independent platform for supporting development of innovative nano-materials is developed. The platform is called...
Kouji Kozaki, Yoshinobu Kitamura, Riichiro Mizoguc...
SACMAT
2009
ACM
16 years 1 months ago
Supporting RBAC with XACML+OWL
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...
Rodolfo Ferrini, Elisa Bertino
WS
2008
ACM
15 years 6 months ago
OWL 2: The next step for OWL
Since achieving W3C recommendation status in 2004, the Web Ontology Language (OWL) has been successfully applied to many problems in computer science. Practical experience with OW...
Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, B...
ICFP
2010
ACM
15 years 8 months ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal