Integrating Datalog with OWL: Exploring the AL−log Approach.

Integrating Datalog with OWL: Exploring the AL−log Approach.

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Ruckhaus, E, Kolovski, V, Parsia, B, Grau, B
বিন্যাস:	Conference item
প্রকাশিত:	Springer 2006

অনুরূপ উপাদানগুলি

Controlled query evaluation for datalog and OWL 2 profile ontologies
অনুযায়ী: Grau, B, অন্যান্য
প্রকাশিত: (2015)

Controlled query evaluation for datalog and OWL 2 profile ontologies
অনুযায়ী: Kostylev, E, অন্যান্য
প্রকাশিত: (2015)

Modularizing OWL Ontologies
অনুযায়ী: Grau, B, অন্যান্য
প্রকাশিত: (2005)

Modularizing OWL Ontologies
অনুযায়ী: Grau, B, অন্যান্য
প্রকাশিত: (2005)

OWL 2: The Next Step for OWL
অনুযায়ী: Grau, B, অন্যান্য
প্রকাশিত: (2008)

OWL 2: The next step for OWL.
অনুযায়ী: Grau, B, অন্যান্য
প্রকাশিত: (2008)

Combining OWL ontologies using E−connections.
অনুযায়ী: Cuenca Grau, B, অন্যান্য
প্রকাশিত: (2006)

Repairing Unsatisfiable Concepts in OWL Ontologies.
অনুযায়ী: Kalyanpur, A, অন্যান্য
প্রকাশিত: (2006)

Automatic Partitioning of OWL Ontologies Using E−connections
অনুযায়ী: Grau, B, অন্যান্য
প্রকাশিত: (2005)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
অনুযায়ী: Cuenca Grau, B, অন্যান্য
প্রকাশিত: (2016)

Pellet: A Practical OWL DL Reasoner
অনুযায়ী: Sirin, E, অন্যান্য
প্রকাশিত: (2007)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
অনুযায়ী: Kaminski, M, অন্যান্য
প্রকাশিত: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
অনুযায়ী: Kaminski, M, অন্যান্য
প্রকাশিত: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
অনুযায়ী: Kaminski, M, অন্যান্য
প্রকাশিত: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
অনুযায়ী: Kaminski, M, অন্যান্য
প্রকাশিত: (2014)

Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments
অনুযায়ী: Kalyanpur, A, অন্যান্য
প্রকাশিত: (2006)

Reasoning techniques in DatalogMTL
অনুযায়ী: Wałega, PA, অন্যান্য
প্রকাশিত: (2022)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
অনুযায়ী: Kaminski, M, অন্যান্য
প্রকাশিত: (2014)

Stream reasoning in temporal datalog
অনুযায়ী: Ronca, A, অন্যান্য
প্রকাশিত: (2018)

Stream reasoning with DatalogMTL
অনুযায়ী: Walega, P, অন্যান্য
প্রকাশিত: (2023)

The complexity and expressive power of limit Datalog
অনুযায়ী: Kaminski, M, অন্যান্য
প্রকাশিত: (2021)

Stratified negation in limit datalog programs
অনুযায়ী: Kaminski, M, অন্যান্য
প্রকাশিত: (2018)

DatalogMTL over integer timeline
অনুযায়ী: Walega, PA, অন্যান্য
প্রকাশিত: (2020)

Computing Datalog Rewritings Beyond Horn Ontologies
অনুযায়ী: Grau, B, অন্যান্য
প্রকাশিত: (2013)

A Syntax for Rules in OWL 2
অনুযায়ী: Glimm, B, অন্যান্য
প্রকাশিত: (2009)

A Syntax for Rules in OWL 2
অনুযায়ী: Glimm, B, অন্যান্য
প্রকাশিত: (2009)

DatalogMTL: computational complexity and expressive power
অনুযায়ী: Walega, P, অন্যান্য
প্রকাশিত: (2019)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
অনুযায়ী: Kaminski, M, অন্যান্য
প্রকাশিত: (2013)

Stratified negation in datalog with metric temporal operators
অনুযায়ী: Tena Cucala, D, অন্যান্য
প্রকাশিত: (2021)

Tractable fragments of datalog with metric temporal operators
অনুযায়ী: Wałęga, PA, অন্যান্য
প্রকাশিত: (2020)

Bridging max graph neural networks and datalog with negation
অনুযায়ী: Tena Cucala, D, অন্যান্য
প্রকাশিত: (2024)

Complexity and expressive power of disjunction and negation in limit datalog
অনুযায়ী: Kaminski, M, অন্যান্য
প্রকাশিত: (2020)

Finitely materialisable Datalog programs with metric temporal operators
অনুযায়ী: Wałęga, PA, অন্যান্য
প্রকাশিত: (2021)

Reasoning over streaming data in metric temporal datalog
অনুযায়ী: Walega, P, অন্যান্য
প্রকাশিত: (2019)

Finite materialisability of Datalog programs with metric temporal operators
অনুযায়ী: Wałęga, PA, অন্যান্য
প্রকাশিত: (2023)

Datalog±: a unified approach to ontologies and integrity constraints.
অনুযায়ী: Calì, A, অন্যান্য
প্রকাশিত: (2009)

Datalog±: A Unified Approach to Ontologies and Integrity Constraints
অনুযায়ী: Calì, A, অন্যান্য
প্রকাশিত: (2009)

The stable model semantics of datalog with metric temporal operators
অনুযায়ী: Walega, P, অন্যান্য
প্রকাশিত: (2023)

On the correspondence between monotonic max-sum GNNs and datalog
অনুযায়ী: Tena Cucala, D, অন্যান্য
প্রকাশিত: (2023)

On the correspondence between monotonic max-sum GNNs and Datalog
অনুযায়ী: Tena Cucala, D, অন্যান্য
প্রকাশিত: (2023)