Tableau calculi for description logics revision
- Autores
- Moguillansky, Martín O.; Falappa, Marcelo Alejandro
- Año de publicación
- 2007
- Idioma
- inglés
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- Focusing on the Ontology Change problem, we consider an environment where Description Logics (DLs) are the logical formalization to express knowledge bases, and the integration of distributed ontologies is developed under new extensions and modifications of the Belief Revision theories yielded originally in [2]. When using tableaux algorithms to reason about DLs, new information is yielded from the models considered in order to achieve knowledge satisfiability. Here a whole new theory have to be reinforced in order to adapt belief revision definitions and postulates to properly react over beliefs on extensions generated from these DL’s reasoning services. In this text we give a brief background of these formalisms and comment the research lines to be taken in our way to this goal.
Eje: Agentes y Sistemas Inteligentes
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
Revisión
Intelligent agents
Tableau calculi
description logics - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
.jpg)
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/20331
Ver los metadatos del registro completo
| id |
SEDICI_757159daefd249b1688c486ed9282eb1 |
|---|---|
| oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/20331 |
| network_acronym_str |
SEDICI |
| repository_id_str |
1329 |
| network_name_str |
SEDICI (UNLP) |
| spelling |
Tableau calculi for description logics revisionMoguillansky, Martín O.Falappa, Marcelo AlejandroCiencias InformáticasRevisiónIntelligent agentsTableau calculidescription logicsFocusing on the Ontology Change problem, we consider an environment where Description Logics (DLs) are the logical formalization to express knowledge bases, and the integration of distributed ontologies is developed under new extensions and modifications of the Belief Revision theories yielded originally in [2]. When using tableaux algorithms to reason about DLs, new information is yielded from the models considered in order to achieve knowledge satisfiability. Here a whole new theory have to be reinforced in order to adapt belief revision definitions and postulates to properly react over beliefs on extensions generated from these DL’s reasoning services. In this text we give a brief background of these formalisms and comment the research lines to be taken in our way to this goal.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI)2007-05info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf160-164http://sedici.unlp.edu.ar/handle/10915/20331enginfo:eu-repo/semantics/altIdentifier/isbn/978-950-763-075-0info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:27:04Zoai:sedici.unlp.edu.ar:10915/20331Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:27:04.628SEDICI (UNLP) - Universidad Nacional de La Platafalse |
| dc.title.none.fl_str_mv |
Tableau calculi for description logics revision |
| title |
Tableau calculi for description logics revision |
| spellingShingle |
Tableau calculi for description logics revision Moguillansky, Martín O. Ciencias Informáticas Revisión Intelligent agents Tableau calculi description logics |
| title_short |
Tableau calculi for description logics revision |
| title_full |
Tableau calculi for description logics revision |
| title_fullStr |
Tableau calculi for description logics revision |
| title_full_unstemmed |
Tableau calculi for description logics revision |
| title_sort |
Tableau calculi for description logics revision |
| dc.creator.none.fl_str_mv |
Moguillansky, Martín O. Falappa, Marcelo Alejandro |
| author |
Moguillansky, Martín O. |
| author_facet |
Moguillansky, Martín O. Falappa, Marcelo Alejandro |
| author_role |
author |
| author2 |
Falappa, Marcelo Alejandro |
| author2_role |
author |
| dc.subject.none.fl_str_mv |
Ciencias Informáticas Revisión Intelligent agents Tableau calculi description logics |
| topic |
Ciencias Informáticas Revisión Intelligent agents Tableau calculi description logics |
| dc.description.none.fl_txt_mv |
Focusing on the Ontology Change problem, we consider an environment where Description Logics (DLs) are the logical formalization to express knowledge bases, and the integration of distributed ontologies is developed under new extensions and modifications of the Belief Revision theories yielded originally in [2]. When using tableaux algorithms to reason about DLs, new information is yielded from the models considered in order to achieve knowledge satisfiability. Here a whole new theory have to be reinforced in order to adapt belief revision definitions and postulates to properly react over beliefs on extensions generated from these DL’s reasoning services. In this text we give a brief background of these formalisms and comment the research lines to be taken in our way to this goal. Eje: Agentes y Sistemas Inteligentes Red de Universidades con Carreras en Informática (RedUNCI) |
| description |
Focusing on the Ontology Change problem, we consider an environment where Description Logics (DLs) are the logical formalization to express knowledge bases, and the integration of distributed ontologies is developed under new extensions and modifications of the Belief Revision theories yielded originally in [2]. When using tableaux algorithms to reason about DLs, new information is yielded from the models considered in order to achieve knowledge satisfiability. Here a whole new theory have to be reinforced in order to adapt belief revision definitions and postulates to properly react over beliefs on extensions generated from these DL’s reasoning services. In this text we give a brief background of these formalisms and comment the research lines to be taken in our way to this goal. |
| publishDate |
2007 |
| dc.date.none.fl_str_mv |
2007-05 |
| dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
| format |
conferenceObject |
| status_str |
publishedVersion |
| dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/20331 |
| url |
http://sedici.unlp.edu.ar/handle/10915/20331 |
| dc.language.none.fl_str_mv |
eng |
| language |
eng |
| dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/isbn/978-950-763-075-0 |
| dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
| eu_rights_str_mv |
openAccess |
| rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
| dc.format.none.fl_str_mv |
application/pdf 160-164 |
| dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
| reponame_str |
SEDICI (UNLP) |
| collection |
SEDICI (UNLP) |
| instname_str |
Universidad Nacional de La Plata |
| instacron_str |
UNLP |
| institution |
UNLP |
| repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
| repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
| _version_ |
1842260106342825984 |
| score |
13.13397 |