Matches in ScholarlyData for { ?s ?p ?o. }
- item-1 hasContent joern-hees.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent thomas-roth-berghofer.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent ralf-biedert.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent benjamin-adrian.
- item-4 next item-5.
- item-4 previous item-3.
- item-5 type ListItem.
- item-5 hasContent andreas-dengel.
- item-5 previous item-4.
- 5 creator ali-hanzala-khan.
- 5 creator espen-suenson.
- 5 creator ivan-porres.
- 5 type InProceedings.
- 5 label "Representation and Conformance of UML models containing ordered properties using OWL2".
- 5 sameAs 5.
- 5 abstract "In this article we show how to represent UML models depicting ordered properties using OWL2, and how to reason about model conformance using OWL2 reasoners. Our translation from UML models to OWL2 is driven by three important forces. First, we want to maintain the close-world assumption about UML models. Second, we want to preserve structural model information of ordered properties. Finally, model conformance is defined solely by OWL2 axioms so that reasoning can be done by using existing and future OWL2 reasoner developed by others. We have implemented the translation as an automatic model transformation tool. The model transformation tool takes as input a UML object model and its class model and produces an ontology that can be processed by an OWL2 reasoner to reveal if the object model elements conform to their class model or not.".
- 5 hasAuthorList authorList.
- 5 isPartOf proceedings.
- 5 keyword "Model Conformance".
- 5 keyword "OWL2".
- 5 keyword "Ordering".
- 5 keyword "Reasoning".
- 5 title "Representation and Conformance of UML models containing ordered properties using OWL2".
- 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 ali-hanzala-khan.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent espen-suenson.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent ivan-porres.
- item-3 previous item-2.
- 7 creator davide-cerri.
- 7 creator srdjan-komazec.
- 7 type InProceedings.
- 7 label "Towards Efficient Schema-Enhanced Pattern Matching over RDF Data Streams".
- 7 sameAs 7.
- 7 abstract "Data streams, often seen as sources of events, have appeared on the Web. Event processing on the Web needs however to cope with the typical openness and heterogeneity of the Web environment. Semantic Web technology, meant to facilitate data integration in an open environment, can help to address heterogeneities across multiple streams. In this paper we discuss an approach towards efficient pattern matching over RDF data streams based on the Rete algorithm, which can be considered as a first building block for event processing on the Web. Our approach focuses on enhancing Rete with knowledge from the RDF schema associated with data streams, so that implicit knowledge can contribute to pattern matching. Moreover, we cover Rete extensions that cope with the streaming nature of the processed data, such as support for temporal operators, time windows, consumption strategies and garbage collection.".
- 7 hasAuthorList authorList.
- 7 isPartOf proceedings.
- 7 keyword "RDF".
- 7 keyword "Rete".
- 7 keyword "data streams".
- 7 keyword "event processing".
- 7 keyword "inference".
- 7 keyword "pattern matching".
- 7 keyword "semantic Web".
- 7 title "Towards Efficient Schema-Enhanced Pattern Matching over RDF Data Streams".
- 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 srdjan-komazec.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent davide-cerri.
- item-2 previous item-1.
- 8 creator jesper-hoeksema.
- 8 creator spyros-kotoulas.
- 8 type InProceedings.
- 8 label "High-performance Distributed Stream Reasoning using S4".
- 8 sameAs 8.
- 8 abstract "In this paper, we present a high-throughput system for reasoning over RDF streams. Recognising the inherent limitations of sequential approaches, we turn to parallel methods, utilizing a compute cluster and the Yahoo S4 framework. We are presenting a set of low-level predicates operating on a stream and an encoding of RDFS reasoning and C-SPARQL query answering using these predicates.We perform experiments on up to 32 compute nodes. Our results indicate that our method scales well and can process hundreds of thousands of triples per second.".
- 8 hasAuthorList authorList.
- 8 isPartOf proceedings.
- 8 keyword "C-SPARQL".
- 8 keyword "Distribution".
- 8 keyword "High-performance".
- 8 keyword "RDF Streams".
- 8 keyword "Reasoning".
- 8 keyword "Semantic Web".
- 8 keyword "Stream processing".
- 8 title "High-performance Distributed Stream Reasoning using S4".
- 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 jesper-hoeksema.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent spyros-kotoulas.