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

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

Detaylı Bibliyografya
Asıl Yazarlar:	Kalyanpur, A, Parsia, B, Sirin, E, Grau, B
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	2006

Benzer Materyaller

Pellet: A Practical OWL DL Reasoner
Yazar:: Sirin, E, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Modularizing OWL Ontologies
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Modularizing OWL Ontologies
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Repairing Unsatisfiable Concepts in OWL Ontologies.
Yazar:: Kalyanpur, A, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Automatic Partitioning of OWL Ontologies Using E−connections
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Semantics of SPARQL under OWL 2 entailment regimes
Yazar:: Kostylev, E, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Combining OWL ontologies using E−connections.
Yazar:: Cuenca Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Representing Qualitative Spatial Information in OWL DL
Yazar:: Katz, Y, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Entailments, pragmatic assertion and mood in Spanish complements
Yazar:: Errapel Mejías-Bikandi
Baskı/Yayın Bilgisi: (2016-06-01)

Does assertibility satisfy the S4 axiom?
Yazar:: Williamson, T
Baskı/Yayın Bilgisi: (1995)

OWL 2: The Next Step for OWL
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

OWL 2: The next step for OWL.
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems
Yazar:: Ruiz, E, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Modularity and Web Ontologies.
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Query Answering for OWL-DL with Rules.
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Query Answering for OWL-DL with rules.
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Swoop: A Web Ontology Engineering Framework
Yazar:: Kalyanpur, A, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Integrating Datalog with OWL: Exploring the AL−log Approach.
Yazar:: Ruckhaus, E, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

A mapping system for the integration of OWL-DL ontologies.
Yazar:: Haase, P, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

A Syntax for Rules in OWL 2
Yazar:: Glimm, B, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

A Syntax for Rules in OWL 2
Yazar:: Glimm, B, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

The combined approach to query answering beyond the OWL 2 profiles.
Yazar:: Feier, C, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Quranic verses extraction base on concepts using OWL-DL ontology
Yazar:: Yauri, Aliyu Rufai, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Ontology Integration Using E−connections
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Clustering redemption–beyond the impossibility of Kleinberg’s axioms
Yazar:: Cohen-Addad, V, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

On the semantics of SPARQL queries with optional matching under entailment regimes
Yazar:: Kostylev, E, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

From Wine to Water: Optimizing Description Logic Reasoning for Nominals.
Yazar:: Sirin, E, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Conjunctive Query Entailment for SHOQ
Yazar:: Glimm, B, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Working with Multiple Ontologies on the Semantic Web.
Yazar:: Cuenca Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Shift Axioms
Yazar:: von Karger, B
Baskı/Yayın Bilgisi: (2015)

Semantic Web Research Trends and Directions
Yazar:: Golbeck, J, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Approximate Reasoning for Large-Scale ABox in OWL DL Based on Neural-Symbolic Learning
Yazar:: Xixi Zhu, ve diğerleri
Baskı/Yayın Bilgisi: (2023-01-01)

Next Steps for OWL
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Entailment : the formalisation of inference
Yazar:: Copeland, BJ
Baskı/Yayın Bilgisi: (1978)

What Justice Entails
Yazar:: Víctor M. Muñiz-Fraticelli
Baskı/Yayın Bilgisi: (2012-09-01)

Entailment Relations on Distributions
Yazar:: John van de Wetering
Baskı/Yayın Bilgisi: (2016-08-01)

Structured objects in owl: representation and reasoning.
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

The syntax and semantics of entailment in duality theory
Yazar:: Davey, B, ve diğerleri
Baskı/Yayın Bilgisi: (1995)

Structured Objects in OWL: Representation and Reasoning
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Status QIO: Conjunctive Query Entailment is Decidable
Yazar:: Glimm, B, ve diğerleri
Baskı/Yayın Bilgisi: (2010)