Approximate OWL-Reasoning with Screech.

Approximate OWL-Reasoning with Screech.

With the increasing interest in expressive ontologies for the Semantic Web, it is critical to develop scalable and efficient ontology reasoning techniques that can properly cope with very high data volumes. For certain application domains, approximate reasoning solutions, which trade soundness or co...

書誌詳細
主要な著者:	Tserendorj, T, Rudolph, S, Krötzsch, M, Hitzler, P
その他の著者:	Calvanese, D
フォーマット:	Journal article
言語:	English
出版事項:	Springer 2008

類似資料

Efficient OWL Reasoning with Logic Programs - Evaluations.
著者:: Rudolph, S, 等
出版事項: (2007)

ELP: Tractable Rules for OWL 2.
著者:: Krötzsch, M, 等
出版事項: (2008)

How to reason with OWL in a logic programming system.
著者:: Krötzsch, M, 等
出版事項: (2006)

Conjunctive Queries for a Tractable Fragment of OWL 1.1.
著者:: Krötzsch, M, 等
出版事項: (2007)

Orel: Database-Driven Reasoning for OWL 2 Profiles.
著者:: Krötzsch, M, 等
出版事項: (2010)

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
著者:: Rudolph, S, 等
出版事項: (2008)

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
著者:: Rudolph, S, 等
出版事項: (2012)

A better uncle for OWL: nominal schemas for integrating rules and ontologies.
著者:: Krötzsch, M, 等
出版事項: (2011)

The HermiT OWL Reasoner
著者:: Horrocks, I, 等
出版事項: (2012)

Efficient Inferencing for OWL EL.
著者:: Krötzsch, M
出版事項: (2010)

HermiT: an OWL 2 reasoner
著者:: Glimm, B, 等
出版事項: (2014)

Efficient Rule-Based Inferencing for OWL EL.
著者:: Krötzsch, M
出版事項: (2011)

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

Structured Objects in OWL: Representation and Reasoning
著者:: Motik, B, 等
出版事項: (2015)

OWL 2 Profiles: An Introduction to Lightweight Ontology Languages.
著者:: Krötzsch, M
出版事項: (2012)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
著者:: Stefanoni, G, 等
出版事項: (2014)

The Not-So-Easy Task of Computing Class Subsumptions in OWL RL.
著者:: Krötzsch, M
出版事項: (2012)

Pellet: A Practical OWL DL Reasoner
著者:: Sirin, E, 等
出版事項: (2007)

Cheap Boolean Role Constructors for Description Logics.
著者:: Rudolph, S, 等
出版事項: (2008)

Complexity Boundaries for Horn Description Logics.
著者:: Krötzsch, M, 等
出版事項: (2007)

Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web.
著者:: Rudolph, S, 等
出版事項: (2007)

Complexities of Horn Description Logics.
著者:: Krötzsch, M, 等
出版事項: (2013)

OWL: Yet to arrive on the Web of Data?
著者:: Glimm, B, 等
出版事項: (2012)

Proceedings of the OWL Reasoner Evaluation Workshop (ORE 2012)
出版事項: (2012)

MORe: Modular Combination of OWL Reasoners for Ontology Classification
著者:: Romero, A, 等
出版事項: (2012)

Some insights into the screech tone of under-expanded supersonic jets using dynamic mode decomposition
著者:: Zang, B., 等
出版事項: (2022)

Short-time proper orthogonal decomposition of time-resolved schlieren images for transient jet screech characterization
著者:: Lim, Desmond Haoxiang, 等
出版事項: (2022)

Integrated Metamodeling and Diagnosis in OWL 2
著者:: Glimm, B, 等
出版事項: (2010)

Integrated Metamodeling and Diagnosis in OWL 2
著者:: Glimm, B, 等
出版事項: (2010)

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)

OWL2Vec*: embedding of OWL ontologies
著者:: Chen, J, 等
出版事項: (2021)

Querying Formal Contexts with Answer Set Programs.
著者:: Hitzler, P, 等
出版事項: (2006)

Reasoning in Semantic Wikis.
著者:: Krötzsch, M, 等
出版事項: (2007)

Computing CQ lower-bounds over OWL2 through approximation to RSA
著者:: Igne, F, 等
出版事項: (2021)

Case-based approximate reasoning /
著者:: 315829 Hullermeier, Eyke
出版事項: (2007)

The owl killers /
著者:: 277445 Maitland, Karen
出版事項: (2009)

Next Steps for OWL
著者:: Grau, B, 等
出版事項: (2006)

Making the Most of your Triple Store: Query Answering in OWL 2 Using an RL Reasoner
著者:: Zhou, Y, 等
出版事項: (2013)