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)

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)

Swoop: A Web Ontology Engineering Framework
著者:: Kalyanpur, A, 等
出版事項: (2005)

Query Answering for OWL-DL with Rules.
著者:: Motik, B, 等
出版事項: (2004)

Query Answering for OWL-DL with rules.
著者:: Motik, B, 等
出版事項: (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)

Shift Axioms
著者:: von Karger, B
出版事項: (2015)

Conjunctive Query Entailment for SHOQ
著者:: Glimm, B, 等
出版事項: (2007)

Semantic Web Research Trends and Directions
著者:: Golbeck, J, 等
出版事項: (2005)

From Wine to Water: Optimizing Description Logic Reasoning for Nominals.
著者:: Sirin, E, 等
出版事項: (2006)

Working with Multiple Ontologies on the Semantic Web.
著者:: Cuenca Grau, B, 等
出版事項: (2004)

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)

Structured objects in owl: representation and reasoning.
著者:: Motik, B, 等
出版事項: (2008)

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, 等
出版事項: (2015)

The syntax and semantics of entailment in duality theory
著者:: Davey, B, 等
出版事項: (1995)

Status QIO: Conjunctive Query Entailment is Decidable
著者:: Glimm, B, 等
出版事項: (2010)

OWL 2 Web Ontology Language: Direct Semantics
著者:: Motik, P, 等
出版事項: (2009)