Reasoning−Supported Interactive Revision of Knowledge Bases

Reasoning−Supported Interactive Revision of Knowledge Bases

Visa andra versioner (4)

Bibliografiska uppgifter
Huvudupphovsmän:	Nikitina, N, Rudolph, S, Glimm, B
Materialtyp:	Conference item
Publicerad:	AAAI Press/The MIT Press 2011

Liknande verk

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

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

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

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

Interactive Ontology Revision
av: Nikitina, N, et al.
Publicerad: (2012)

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

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

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

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

Semi−Automatic Revision of Formalized Knowledge
av: Nikitina, N
Publicerad: (2010)

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

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

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

HermiT: an OWL 2 reasoner
av: Glimm, B, et al.
Publicerad: (2014)

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

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

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

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

Analysis of Knowledge Graph Path Reasoning Based on Variational Reasoning
av: Hongmei Tang, et al.
Publicerad: (2022-06-01)

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

Research on knowledge reasoning of TCM based on knowledge graphs
av: G.U.O. Zhiheng, et al.
Publicerad: (2022-12-01)

Integrated Metamodeling and Diagnosis in OWL 2
av: Glimm, B, et al.
Publicerad: (2010)

Integrated Metamodeling and Diagnosis in OWL 2
av: Glimm, B, et al.
Publicerad: (2010)

Trends in the reasons for revision total knee arthroplasty
av: Samuel Elliott Holbert, et al.
Publicerad: (2024-06-01)

Revision cochlear implant surgery for clinical reasons
av: Federica Canzano, et al.
Publicerad: (2023-02-01)

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

Knowledgeably responding to reasons
av: Cunningham, J
Publicerad: (2018)

Knowledge representation and reasoning /
av: Brachman, Ronald J., 1949-, et al.
Publicerad: (2004)

Reasoning and Self-Knowledge
av: Martin F. Fricke
Publicerad: (2018-05-01)

Parallel reasoning: a virtual-real interactive knowledge collaboration framework based on ACP approach
av: Xiao WANG, et al.
Publicerad: (2023-03-01)

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

Knowledge Reasoning Based on Neural Tensor Network
av: Huang Jian-Hui, et al.
Publicerad: (2017-01-01)

(Implicit) Knowledge, reasons and semantic understanding
av: Waights Hickman, N
Publicerad: (2020)

Neural symbolic reasoning with knowledge graphs: Knowledge extraction, relational reasoning, and inconsistency checking
av: Huajun Chen, et al.
Publicerad: (2021-09-01)

Spatial case revision in case-based reasoning for risk assessment of geological disasters
av: Shuguang Deng, et al.
Publicerad: (2020-01-01)

Applied picture fuzzy sets with knowledge reasoning and linguistics in clinical decision support system
av: Hai Van Pham, et al.
Publicerad: (2022-12-01)

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

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

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

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