Revising General Knowledge Bases in Description Logics

Revising General Knowledge Bases in Description Logics

Bibliographic Details
Main Authors:	Wang, Z, Wang, K, Topor, R
Format:	Conference item
Published:	2010

Similar Items

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

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

Algebraic and logical descriptions of generalized trees
by: Bruno Courcelle
Published: (2017-07-01)

Forgetting for knowledge bases in DL−Lite
by: Wang, Z, et al.
Published: (2010)

Rewriting Conjunctive Queries over Description Logic Knowledge Bases
by: Pérez−Urbina, H, et al.
Published: (2008)

Rewriting Conjunctive Queries over Description Logic Knowledge Bases.
by: Pérez-Urbina, H, et al.
Published: (2008)

Description Logic Programs: Combining Logic Programs with Description Logic
by: Grosof, Benjamin, et al.
Published: (2004)

Chemical Knowledge Representation with Description Graphs and Logic Programming
by: Magka, D, et al.
Published: (2011)

Chemical knowledge representation with description graphs and logic programming.
by: Magka, D, et al.
Published: (2011)

Generalized Link Properties for Expressive E−connections of Description Logics.
by: Parsia, B, et al.
Published: (2005)

Description logics
by: Krötzsch, M, et al.
Published: (2013)

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

Incorporating generalized quantifiers into description logic for representing data source contents
Published: (2003)

Scalable reasoning for description logics
by: Shearer, R
Published: (2011)

Reconciling description logics and rules.
by: Motik, B, et al.
Published: (2010)

Description logic rules /
by: 518544 Krt̲zsch, Markus
Published: (c201)

Hypertableau Reasoning for Description Logics
by: Motik, B, et al.
Published: (2014)

Combining Description Logics, Description Graphs, and Rules.
by: Motik, B
Published: (2010)

A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics
by: Rafael Peñaloza
Published: (2021-09-01)

Acyclicity Conditions and their Application to Query Answering in Description Logics
by: Grau, B, et al.
Published: (2012)

Acyclicity Conditions and their Application to Query Answering in Description Logics
by: Grau, B, et al.
Published: (2012)

Consequence-based reasoning for the Description Logic SROIQ
by: Tena Cucala, DJ
Published: (2019)

Logic Graphs for ALC, SHIF and SHOIN Description Logics
by: Nguyen Ngoc Than, et al.
Published: (2020-09-01)

A Description Logic Based Ontology for Knowledge Representation in Process Planning for Laser Powder Bed Fusion
by: Zuyu Li, et al.
Published: (2022-05-01)

Tableaux for free logics with descriptions
by: Indrzejczak, A, et al.
Published: (2021)

Probabilistic Description Logic Programs
by: Lukasiewicz, T
Published: (2005)

Simplifying Description Logic Ontologies
by: Nikitina, N, et al.
Published: (2013)

Probabilistic Description Logic Programs
by: Lukasiewicz, T
Published: (2007)

Complexities of Horn Description Logics.
by: Krötzsch, M, et al.
Published: (2013)

A Description Logic Primer
by: Krötzsch, M, et al.
Published: (2012)

Expressive Probabilistic Description Logics
by: Lukasiewicz, T
Published: (2015)

Unification in the Description Logic EL
by: Franz Baader, et al.
Published: (2010-09-01)

Logic-based knowledge representation /
by: Jackson, Peter, 1948-, et al.
Published: (1989)

Describing Images Using Qualitative Models and Description Logics
by: Falomir, Z, et al.
Published: (2011)

Representing Ontologies Using Description Logics‚ Description Graphs and Rules
by: Motik, B, et al.
Published: (2009)

Representing ontologies using description logics, description graphs, and rules.
by: Motik, B, et al.
Published: (2009)

Optimized Reasoning in Description Logics Using Hypertableaux.
by: Motik, B, et al.
Published: (2007)

Incremental Classification of Description Logics Ontologies.
by: Grau, B, et al.
Published: (2010)

Incremental Classification of Description Logics Ontologies
by: Grau, C, et al.
Published: (2010)

Individual Reuse in Description Logic Reasoning.
by: Motik, B, et al.
Published: (2008)