Search Results - "Motik, Boris"

Materialisation and data partitioning algorithms for distributed RDF systems by Ajileye, Temitope, Motik, Boris

“…Many RDF systems support reasoning with Datalog rules via materialisation, where all conclusions of RDF data and the rules are precomputed and explicitly…”
Get full text

Representing and querying validity time in RDF and OWL: A logic-based approach by Motik, Boris

“…RDF(S) and OWL 2 can currently represent only static information. In practice, however, the truth of statements often changes with time. Semantic Web…”
Get full text

Modular materialisation of Datalog programs by Hu, Pan, Motik, Boris, Horrocks, Ian

“…Answering queries over large datasets extended with Datalog rules plays a key role in numerous data management applications, and it has been implemented in…”
Get full text

HermiT: An OWL 2 Reasoner by Glimm, Birte, Horrocks, Ian, Motik, Boris, Stoilos, Giorgos, Wang, Zhe

“…This system description paper introduces the OWL 2 reasoner HermiT. The reasoner is fully compliant with the OWL 2 Direct Semantics as standardised by the…”
Get full text

OWL 2: The next step for OWL by Grau, Bernardo Cuenca, Horrocks, Ian, Motik, Boris, Parsia, Bijan, Patel-Schneider, Peter, Sattler, Ulrike

“…Since achieving W3C recommendation status in 2004, the Web Ontology Language (OWL) has been successfully applied to many problems in computer science…”
Get full text

Bridging the gap between OWL and relational databases by Motik, Boris, Horrocks, Ian, Sattler, Ulrike

“…Despite similarities between the Web Ontology Language (OWL) and schema languages traditionally used in relational databases, systems based on these languages…”
Get full text

Dynamic Data Exchange in Distributed RDF Stores by Potter, Anthony, Motik, Boris, Nenov, Yavor, Horrocks, Ian

“…When RDF datasets become too large to be managed by centralised systems, they are often distributed in a cluster of shared-nothing servers, and queries are…”
Get full text

Event Detection on Microposts: A Comparison of Four Approaches by Bhardwaj, Akansha, Blarer, Albert, Cudre-Mauroux, Philippe, Lenders, Vincent, Motik, Boris, Tanner, Axel, Tonon, Alberto

“…Microblogging services such as Twitter are important, up-to-date, and live sources of information on a multitude of topics and events. An increasing number of…”
Get full text

On the Properties of Metamodeling in OWL by Motik, B.

“…A common practice in conceptual modeling is to separate the conceptual from the data model. Although very intuitive, this approach is inadequate for many…”
Get full text

Reasoning in Description Logics by a Reduction to Disjunctive Datalog by Hustadt, Ullrich, Motik, Boris, Sattler, Ulrike

“…(ProQuest: ... denotes formulae and/or non-USASCII text omitted; see image) Issue Title: Special Issue on Reasoning in Description Logics As applications of…”
Get full text

Consequence-based and fixed-parameter tractable reasoning in description logics by Simančík, František, Motik, Boris, Horrocks, Ian

“…In this paper we investigate the consequence-based algorithms that are nowadays commonly used for subsumption reasoning with description logic ontologies,…”
Get full text

Tractable query answering and rewriting under description logic constraints by Pérez-Urbina, Héctor, Motik, Boris, Horrocks, Ian

“…Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as…”
Get full text

Hypertableau Reasoning for Description Logics by Motik, B., Shearer, R., Horrocks, I.

“…We present a novel reasoning calculus for the description logic SHOIQ^+---a knowledge representation formalism with applications in areas such as the Semantic…”
Get full text

A novel approach to ontology classification by Glimm, Birte, Horrocks, Ian, Motik, Boris, Shearer, Rob, Stoilos, Giorgos

“…Ontology classification–the computation of the subsumption hierarchies for classes and properties–is a core reasoning service provided by all OWL reasoners…”
Get full text

Query Answering for OWL-DL with rules by Motik, Boris, Sattler, Ulrike, Studer, Rudi

“…Both OWL-DL and function-free Horn rules are decidable fragments of first-order logic with interesting, yet orthogonal expressive power. A combination of…”
Get full text

Al and Ontology Technologies by Motik, Boris

“…Web Ontology Language (OWL) has been very successful in the past few years; however, the practical experience has raised numerous exciting and challenging…”
Get full text

A Resolution-Based Decision Procedure for SHOIQ by Kazakov, Yevgeny, Motik, Boris

“…(ProQuest: ... denotes formulae and/or non-USASCII text omitted; see image) Issue Title: Selected Papers from the 3rd International Joint Conference on…”
Get full text

Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions by Bate, Andrew, Motik, Boris, Cuenca Grau, Bernardo, Tena Cucala, David, Simančík, František, Horrocks, Ian

“…Classification of description logic (DL) ontologies is a key computational problem in modern data management applications, so considerable effort has been…”
Get full text

Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach by Cuenca Grau, B., Motik, B.

“…There is currently a growing interest in techniques for hiding parts of the signature of an ontology Kh that is being reused by another ontology Kv. Towards…”
Get full text

The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases by Stefanoni, G., Motik, B., Kroetzsch, M., Rudolph, S.

“…OWL 2 EL is a popular ontology language that supports role inclusions---that is, axioms that capture compositional properties of roles. Role inclusions closely…”
Get full text