Konclude: System Description

Steigmiller, Andreas; Liebig, Thorsten; Glimm, Birte

doi:10.2139/ssrn.3199110

Cited by 34 publications

(46 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(ii) OWL ontologies, which provide the organisational information models at the heart of our approach, can be created in tools such as Protégé [41]. (iii) Logical reasoning over such ontologies can then enable information integration, quality control and query answering, using OWL reasoners [42,43,44] or ontology-based query answering systems [45,46]. Moreover, many RDF databases also have their own built-in lightweight OWL reasoning support, and Stardog in fact bundles a complete OWL reasoner to support even expressive ontologies.…”

Section: A Platform For Data Interoperabilitymentioning

confidence: 99%

Next directions in experimental data for seismic hazard mitigation

Martínez

Williams

Dyke³

et al. 2017

Engineering Structures

View full text Add to dashboard Cite

Data are one of the main assets of earthquake engineering. Laboratory experiments can be extremely expensive and time consuming to replicate and, therefore, long-term preservation of experimental data and sharing the data with users has become one of the disciplinary priorities. There is a growing demand for international partnerships, which creates a need for data sharing, in an attempt to maximise research impact and to tackle experimental setups that could not be realised otherwise. However, there is a patent lack of interoperability between the institutions forming the earthquake engineering community, which inhibits efficient collaboration between them. In this paper, we discuss a vision about the directions that experimental data should take in the coming years, focusing on two aspects: enhanced international collaborations and implementation of open data access. We also describe the progress that has been made towards this vision, by establishing an open platform for the integration of earthquake hazard mitigation resources called Celestina. Celestina is supported by Semantic Web technologies, and uses an ontology as its integration data model. A prototype of the platform has been developed and tested between NEES (Purdue University, in the US), the University of Oxford (in UK) and EUCENTRE (in Italy), and a small proof of concept has enabled integrated experimental data from Oxford and EUCENTRE through the NEES cyberenvironment. This demonstration provides an example which has the potential to catalyze a new generation of research progress enabled by international data sharing.

show abstract

Section: A Platform For Data Interoperabilitymentioning

confidence: 99%

Next directions in experimental data for seismic hazard mitigation

Martínez

Williams

Dyke³

et al. 2017

Engineering Structures

View full text Add to dashboard Cite

show abstract

“…We use the datalog engine RDFOx [15] in both implementations. We evaluate the performance of our chase based implementations against Konclude [19], a very efficient OWL DL reasoner, and PAGOdA [20], a hybrid approach to query answering over ontologies. PAGOdA combines a datalog reasoner with a fully-fledged OWL 2 reasoner in order to provide scalable 'payas-you-go' performance and is, to the best of our knowledge, the only other implementation that may solve CQ answering over Horn-SRIQ ontologies with completeness guarantees, albeit only in some cases.…”

Section: A Materialization Based Reasonermentioning

confidence: 99%

A Practical Acyclicity Notion for Query Answering Over Horn- $$\mathcal {SRIQ}$$ Ontologies

Carral¹,

Feier²,

Hitzler³

2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Conjunctive query answering over expressive Horn Description Logic ontologies is a relevant and challenging problem which, in some cases, can be addressed by application of the chase algorithm. In this paper, we define a novel acyclicity notion which provides a sufficient condition for termination of the restricted chase over Horn-SRIQ TBoxes. We show that this notion generalizes most of the existing acyclicity conditions (both theoretically and empirically). Furthermore, this new acyclicity notion gives rise to a very efficient reasoning procedure. We provide evidence for this by providing a materialization based reasoner for acyclic ontologies which outperforms other state-of-the-art systems.

show abstract

“…Moreover, as a part of the EU funded project COMSODE, we participated on re-publishing other datasets published by Czech, Slovak, Italian and Dutch public bodies and several pan-European datasets in 5-star representation 3 . We also helped two Czech governmental bodies to publish their Open Data as 5-star data (the Czech Social Security Administration 4 [75] and the Ministry of Finance 5 ). We presented the publication results to Open Data consumers at several community events.…”

Section: Introductionmentioning

confidence: 99%

Survey of tools for Linked Data consumption

Klímek

Škoda

Nečaský

2019

View full text Add to dashboard Cite

There is lots of data published as Linked (Open) Data (LOD/LD). At the same time, there is also a multitude of tools for publication of LD. However, potential LD consumers still have difficulty discovering, accessing and exploiting LD. This is because compared to consumption of traditional data formats such as XML and CSV files, there is a distinct lack of tools for consumption of LD. The promoters of LD use the well-known 5-star Open Data deployment scheme to suggest that consumption of LD is a better experience once the consumer knows RDF and related technologies. This suggestion, however, falls short when the consumers search for an appropriate tooling support for LD consumption. In this paper we define a LD consumption process. Based on this process and current literature, we define a set of 34 requirements a hypothetical Linked Data Consumption Platform (LDCP) should ideally fulfill. We cover those requirements with a set of 94 evaluation criteria. We survey 110 tools identified as potential candidates for an LDCP, eliminating them in 3 rounds until 16 candidates for remain. We evaluate the 16 candidates using our 94 criteria. Based on this evaluation we show which parts of the LD consumption process are covered by the 16 candidates. Finally, we identify 8 tools which satisfy our requirements on being a LDCP. We also show that there are important LD consumption steps which are not sufficiently covered by existing tools. The authors of LDCP implementations may use this survey to decide about directions of future development of their tools. LD experts may use it to see the level of support of the state of the art technologies in existing tools. Non-LD experts may use it to choose a tool which supports their LD processing needs without requiring them to have expert knowledge of the technologies. The paper can also be used as an introductory text to LD consumption.

show abstract

Konclude: System Description

Cited by 34 publications

References 12 publications

Next directions in experimental data for seismic hazard mitigation

Next directions in experimental data for seismic hazard mitigation

A Practical Acyclicity Notion for Query Answering Over Horn- $$\mathcal {SRIQ}$$ Ontologies

Survey of tools for Linked Data consumption

Contact Info

Product

Resources

About