Reasoning−Supported Interactive Revision of Knowledge Bases

Reasoning−Supported Interactive Revision of Knowledge Bases

Show other versions (4)

Bibliographic Details
Main Authors:	Nikitina, N, Rudolph, S, Glimm, B
Format:	Conference item
Published:	CEUR 2011

Similar Items

Reasoning-Supported Interactive Revision of Knowledge Bases.
by: Nikitina, N, et al.
Published: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
by: Nikitina, N, et al.
Published: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
by: Nikitina, N, et al.
Published: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
by: Nikitina, N, et al.
Published: (2011)

Interactive Ontology Revision
by: Nikitina, N, et al.
Published: (2012)

Wheat and Chaff – Practically Feasible Interactive Ontology Revision
by: Nikitina, N, et al.
Published: (2011)

Wheat and Chaff - Practically Feasible Interactive Ontology Revision.
by: Nikitina, N, et al.
Published: (2011)

Hitting the sweetspot: Economic rewriting of knowledge bases
by: Nikitina, N, et al.
Published: (2012)

Hitting the Sweetspot: Economic Rewriting of Knowledge Bases
by: Nikitina, N, et al.
Published: (2012)

Semi−Automatic Revision of Formalized Knowledge
by: Nikitina, N
Published: (2010)

Complexity of Propositional Knowledge Base Revision
by: Eiter, T, et al.
Published: (1992)

Revision of DL−Lite Knowledge Bases
by: Wang, Z, et al.
Published: (2009)

OBA: Supporting Ontology−Based Annotation of Natural Language Resources
by: Nikitina, N
Published: (2012)

Revising General Knowledge Bases in Description Logics
by: Wang, Z, et al.
Published: (2010)

Refining Ontologies by Pattern−Based Completion
by: Nikitina, N, et al.
Published: (2009)

Optimized DL Reasoning via Core Blocking
by: Glimm, B, et al.
Published: (2010)

HermiT: an OWL 2 reasoner
by: Glimm, B, et al.
Published: (2014)

Optimized Description Logic Reasoning via Core Blocking.
by: Glimm, B, et al.
Published: (2010)

Optimized Description Logic Reasoning via Core Blocking
by: Glimm, B, et al.
Published: (2010)

Knowledgeably responding to reasons
by: Cunningham, J
Published: (2018)

On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals
by: Eiter, T, et al.
Published: (1992)

On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals
by: Eiter, T, et al.
Published: (1992)

The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions
by: Eiter, T, et al.
Published: (1993)

The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions
by: Eiter, T, et al.
Published: (1996)

Datalog reasoning over compressed RDF knowledge bases
by: Hu, P, et al.
Published: (2019)

Query Answering over SROIQ Knowledge Bases with SPARQL
by: Kollia, I, et al.
Published: (2011)

(Implicit) Knowledge, reasons and semantic understanding
by: Waights Hickman, N
Published: (2020)

A New Approach to Knowledge Base Revision in DL−Lite
by: Wang, Z, et al.
Published: (2010)

The Vadalog system: datalog-based reasoning for knowledge graphs
by: Bellomarini, L, et al.
Published: (2018)

Principles of knowledge presentation and reasoning /
by: International Conference on Principles of Knowledge Representation and Reasoning (1st : 1989 : Toronto, Ont.), et al.
Published: (1989)

On the (Non−)Succinctness of Uniform Interpolation in General EL Terminologies
by: Nikitina, N, et al.
Published: (2012)

ExpExpExplosion: Uniform Interpolation in General EL Terminologies
by: Nikitina, N, et al.
Published: (2012)

ExpExpExplosion: Uniform Interpolation in General EL Terminologies.
by: Nikitina, N, et al.
Published: (2012)

(Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL
by: Nikitina, N, et al.
Published: (2014)

The DLV System for Knowledge Representation and Reasoning
by: Leone, N, et al.
Published: (2002)

The DLV system for knowledge representation and reasoning
by: Leone, N, et al.
Published: (2006)

Status QIO: Conjunctive Query Entailment is Decidable
by: Glimm, B, et al.
Published: (2010)

Nominals‚ Inverses‚ Counting‚ and Conjunctive Queries
by: Rudolph, S, et al.
Published: (2010)

Nominals‚ Inverses‚ Counting‚ and Conjunctive Queries or Why Infinity is your Friend!
by: Glimm, B, et al.
Published: (2009)

Conjunctive Query Entailment: Decidable in Spite of O‚ I‚ and Q
by: Glimm, B, et al.
Published: (2009)