Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Penaloza, R."'
Autor:
Rafael Peñaloza, João Paulo A. Almeida, Alessander Botti Benevides, Jean-Rémi Bourguet, Giancarlo Guizzardi
Publikováno v:
Applied Ontology. 14:293-334
In recent years, there has been a growing interest in the application of foundational ontologies, i.e., formal ontological theories in the philosophical sense, to provide a theoretically sound foundation for improving the theory and practice of conce
Autor:
GABRIELLA PASI, RAFAEL PEÑALOZA
A prominent problem in knowledge representation is how to answer queries taking into account also the implicit consequences of an ontology representing domain knowledge. While this problem has been widely studied within the realm of description logic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::084d4e079a50ed66403a2e4c3c98fbaf
Autor:
Rafael Peñaloza
Publikováno v:
Algorithms, Vol 14, Iss 280, p 280 (2021)
Algorithms
Volume 14
Issue 10
Algorithms
Volume 14
Issue 10
Logic-based knowledge representation is one of the main building blocks of (logic-based) artificial intelligence. While most successful knowledge representation languages are based on classical logic, realistic intelligent applications need to handle
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4ebfba3e8c165fc2c094d6f980c39665
http://hdl.handle.net/10281/336363
http://hdl.handle.net/10281/336363
Publikováno v:
KI-Künstliche Intelligenz
One approach to axiom pinpointing (AP) in description logics is its reduction to the enumeration of minimal unsatisfiable subformulas, allowing for the deployment of highly optimized methods from SAT solving. Exploiting the properties of AP, we furth
Autor:
Rafael Peñaloza, Guohui Xiao, Mikhail Roshchin, Ian Horrocks, Evgeny Kharlamov, Ognjen Savkoviý, Gulnar Mehdi
Publikováno v:
CIKM
Rule-based diagnostics of equipment is an important task in industry. In this paper we present how semantic technologies can enhance diagnostics. In particular, we present our semantic rule language sigRL that is inspired by the real diagnostic langu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7ab4d42fe388d50915ab488c304ab729
http://hdl.handle.net/10281/303180
http://hdl.handle.net/10281/303180
Autor:
Franz Baader, Rafael Peñaloza
Publikováno v:
Automated Reasoning ISBN: 9783540710691
IJCAR
IJCAR
Axiom pinpointing has been introduced in description logics (DL) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base that have the consequence in question (MinA). Most of the pinpointing al
Autor:
Rafael Peñaloza, Mario Alviano
Fuzzy answer set programming (FASP) combines two declarative frameworks, answer set programming and fuzzy logic, in order to model reasoning by default over imprecise information. Several connectives are available to combine different expressions; in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a82709fffa954f7388e94fd811e53034
Fuzzy description logics (DLs) can be used to represent and reason with vague knowledge. This family of logical formalisms is very diverse, each member being characterized by a specific choice of constructors, axioms, and triangular norms, which are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3953a2cb251b611e55db742ca86fc4e6
http://hdl.handle.net/10281/257927
http://hdl.handle.net/10281/257927
Description Logics (DLs) are a well-established family of knowledge representation formalisms. One of its members, the DL ELOR has been successfully used for representing knowledge from the bio-medical sciences, and is the basis for the OWL 2 EL prof
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b9dacda659d84e0667c1a6183698573d
http://hdl.handle.net/10281/257715
http://hdl.handle.net/10281/257715