Matches in ScholarlyData for { ?s ?p ?o. }
- item-4 hasContent michael-sintek.
- item-4 previous item-3.
- 44 creator chan-le-duc.
- 44 type InProceedings.
- 44 label "Decidability of $\mathcal{SHI}$ with transitive closure of roles".
- 44 sameAs 44.
- 44 abstract "This paper investigates a Description Logic, namely $\mathcal{SHI}_+$, which extends $\mathcal{SHI}$ by adding transitive closure of roles. The resulting logic $\mathcal{SHI}_+$ allows transitive closure of roles to occur not only in concept inclusion axioms but also in role inclusion axioms. We show that $\mathcal{SHI}_+$ is decidable by devising a sound and complete algorithm for deciding satisfiability of concepts in $\mathcal{SHI}_+$ with respect to a set of concept and role inclusion axioms.".
- 44 hasAuthorList authorList.
- 44 hasTopic Formal_languages.
- 44 hasTopic Inference.
- 44 hasTopic Logic.
- 44 hasTopic Optimization_(computer_science).
- 44 hasTopic Query.
- 44 hasTopic Rule_of_inference.
- 44 hasTopic SPARQL.
- 44 hasTopic Semantic_Web.
- 44 isPartOf proceedings.
- 44 keyword "OWL".
- 44 keyword "decidability".
- 44 keyword "description logics".
- 44 keyword "tableaux".
- 44 title "Decidability of $\mathcal{SHI}$ with transitive closure of roles".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasLastItem item-1.
- item-1 type ListItem.
- item-1 hasContent chan-le-duc.
- 47 creator andrea-tagarelli.
- 47 creator mario-longo.
- 47 creator sergio-greco.
- 47 type InProceedings.
- 47 label "Word Sense Disambiguation for XML Structure Feature Generation".
- 47 sameAs 47.
- 47 abstract "A common limit of most existing methods that manage XML structure information is that they do not handle the semantic meanings that might be associated to the markup tags. In this paper, we study how to map structure information available from XML elements into semantically related concepts in order to support the generation of XML semantic features of XML structural type. For this purpose, we define an unsupervised word sense disambiguation method to select the most appropriate meaning for each element contextually to its respective XML path. The proposed approach exploits conceptual relations provided by a lexical ontology such as WordNet and employs different notions of sense relatedness. Experiments with data from various application domains are discussed, showing that our approach can be effectively used to generate structural semantic features.".
- 47 hasAuthorList authorList.
- 47 hasTopic Database_management_system.
- 47 hasTopic Query.
- 47 hasTopic Search_engine.
- 47 hasTopic Semantic_Web.
- 47 hasTopic Visualization.
- 47 isPartOf proceedings.
- 47 keyword "WordNet".
- 47 keyword "XML data".
- 47 keyword "semantic relatedness".
- 47 keyword "word sense disambiguation".
- 47 title "Word Sense Disambiguation for XML Structure Feature Generation".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent andrea-tagarelli.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent mario-longo.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent sergio-greco.
- item-3 previous item-2.
- 5 creator bela-genge.
- 5 creator piroska-haller.
- 5 type InProceedings.
- 5 label "Middleware for Automated Implementation of Security Protocols".
- 5 sameAs 5.
- 5 abstract "We propose a middleware for automated implementation of security protocols for Web services. The proposed middleware consists of two main layers: the communication layer and the service layer. The communication layer is built on the SOAP layer and ensures the implementation of security and service protocols. The service layer provides the discovery of services and the authorization of client applications. In order to provide automated access to the platform services we propose a novel specification of security protocols, consisting of a sequential component, implemented as a WSDL-S specification, and an ontology component, implemented as an OWL specification. Specifications are generated using a set of rules, where information related to the implementation of properties such as cryptographic algorithms or key sizes, are provided by the user. The applicability of the proposed middleware is validated by implementing a video surveillance system.".
- 5 hasAuthorList authorList.
- 5 hasTopic Application.
- 5 hasTopic Data.
- 5 hasTopic Interoperability.
- 5 hasTopic Quality.
- 5 hasTopic Semantic_Web.
- 5 hasTopic Web_service.
- 5 isPartOf proceedings.
- 5 keyword "Web services".
- 5 keyword "automated execution".
- 5 keyword "middleware".
- 5 keyword "ontologies".
- 5 keyword "security protocols".
- 5 title "Middleware for Automated Implementation of Security Protocols".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasLastItem item-2.
- item-1 type ListItem.
- item-1 hasContent bela-genge.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent piroska-haller.
- item-2 previous item-1.
- 70 creator bernhard-haslhofer.
- 70 creator bernhard-schandl.
- 70 type InProceedings.
- 70 label "The Sile Model --- A Semantic File System Infrastructure for the Desktop".
- 70 sameAs 70.
- 70 abstract "With the increasing storage capacity of personal computing devices, the problems of information overload and information fragmentation become apparent on users' desktops. For the Web, semantic technologies aim at solving this problem by adding a machine-interpretable information layer on top of existing resources, and it has been shown that the application of these technologies to desktop environments is helpful for end users. Certain characteristics of the Semantic Web architecture that are commonly accepted in the Web context, however, are not desirable for desktops; e.g., incomplete information, broken links, or disruption of content and annotations. To overcome these limitations, we propose the sile model, an intermediate data model that combines attributes of the Semantic Web and file systems. This model is intended to be the conceptual foundation of the Semantic Desktop, and to serve as underlying infrastructure on which applications and further services, e.g., virtual file systems, can be built. In this paper, we present the sile model, discuss Semantic Web vocabularies that can be used in the context of this model to annotate desktop data, and analyze the performance of typical operations on a virtual file system implementation that is based on this model.".