Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments

Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments

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

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

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

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

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

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

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

Semantics of SPARQL under OWL 2 entailment regimes
অনুযায়ী: Kostylev, E, অন্যান্য
প্রকাশিত: (2015)

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

Representing Qualitative Spatial Information in OWL DL
অনুযায়ী: Katz, Y, অন্যান্য
প্রকাশিত: (2005)

Entailments, pragmatic assertion and mood in Spanish complements
অনুযায়ী: Errapel Mejías-Bikandi
প্রকাশিত: (2016-06-01)

Does assertibility satisfy the S4 axiom?
অনুযায়ী: Williamson, T
প্রকাশিত: (1995)

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

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

On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems
অনুযায়ী: Ruiz, E, অন্যান্য
প্রকাশিত: (2012)

Modularity and Web Ontologies.
অনুযায়ী: Grau, B, অন্যান্য
প্রকাশিত: (2006)

Query Answering for OWL-DL with Rules.
অনুযায়ী: Motik, B, অন্যান্য
প্রকাশিত: (2004)

Query Answering for OWL-DL with rules.
অনুযায়ী: Motik, B, অন্যান্য
প্রকাশিত: (2005)

Swoop: A Web Ontology Engineering Framework
অনুযায়ী: Kalyanpur, A, অন্যান্য
প্রকাশিত: (2005)

Integrating Datalog with OWL: Exploring the AL−log Approach.
অনুযায়ী: Ruckhaus, E, অন্যান্য
প্রকাশিত: (2006)

A mapping system for the integration of OWL-DL ontologies.
অনুযায়ী: Haase, P, অন্যান্য
প্রকাশিত: (2005)

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

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

The combined approach to query answering beyond the OWL 2 profiles.
অনুযায়ী: Feier, C, অন্যান্য
প্রকাশিত: (2015)

Quranic verses extraction base on concepts using OWL-DL ontology
অনুযায়ী: Yauri, Aliyu Rufai, অন্যান্য
প্রকাশিত: (2013)

Ontology Integration Using E−connections
অনুযায়ী: Grau, B, অন্যান্য
প্রকাশিত: (2009)

Clustering redemption–beyond the impossibility of Kleinberg’s axioms
অনুযায়ী: Cohen-Addad, V, অন্যান্য
প্রকাশিত: (2018)

On the semantics of SPARQL queries with optional matching under entailment regimes
অনুযায়ী: Kostylev, E, অন্যান্য
প্রকাশিত: (2014)

From Wine to Water: Optimizing Description Logic Reasoning for Nominals.
অনুযায়ী: Sirin, E, অন্যান্য
প্রকাশিত: (2006)

Conjunctive Query Entailment for SHOQ
অনুযায়ী: Glimm, B, অন্যান্য
প্রকাশিত: (2007)

Working with Multiple Ontologies on the Semantic Web.
অনুযায়ী: Cuenca Grau, B, অন্যান্য
প্রকাশিত: (2004)

Shift Axioms
অনুযায়ী: von Karger, B
প্রকাশিত: (2015)

Semantic Web Research Trends and Directions
অনুযায়ী: Golbeck, J, অন্যান্য
প্রকাশিত: (2005)

Approximate Reasoning for Large-Scale ABox in OWL DL Based on Neural-Symbolic Learning
অনুযায়ী: Xixi Zhu, অন্যান্য
প্রকাশিত: (2023-01-01)

Next Steps for OWL
অনুযায়ী: Grau, B, অন্যান্য
প্রকাশিত: (2006)

Entailment : the formalisation of inference
অনুযায়ী: Copeland, BJ
প্রকাশিত: (1978)

What Justice Entails
অনুযায়ী: Víctor M. Muñiz-Fraticelli
প্রকাশিত: (2012-09-01)

Entailment Relations on Distributions
অনুযায়ী: John van de Wetering
প্রকাশিত: (2016-08-01)

Structured objects in owl: representation and reasoning.
অনুযায়ী: Motik, B, অন্যান্য
প্রকাশিত: (2008)

The syntax and semantics of entailment in duality theory
অনুযায়ী: Davey, B, অন্যান্য
প্রকাশিত: (1995)

Structured Objects in OWL: Representation and Reasoning
অনুযায়ী: Motik, B, অন্যান্য
প্রকাশিত: (2015)

Status QIO: Conjunctive Query Entailment is Decidable
অনুযায়ী: Glimm, B, অন্যান্য
প্রকাশিত: (2010)