( en | de | ru )

 

Disambiguation of "Ozaki, Ana"

Author of the publication

copydeleteadd this publication to your clipboard
Semiring Provenance for Lightweight Description Logics.

, , and . CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ana Hanstedt

Beurteilung der Entwicklungskompetenz boviner Oozyten aus Follikeln mit unterschiedlicher Durchblutung der Follikelwand. TierH Hannover, (2009)

Ana-Sun ana Smith

Ana Markovi

Experimental and theoretical analysis of the mass transport through porous glass membranes with different pore diameters. Uni Magdeburg, (2009)

Gerhard Anacker

Iz Anadere

 

Other publications of authors with the same name

Enriching Ontology-based Data Access with Provenance., , , , and . IJCAI, page 1616-1623. ijcai.org, (2019)Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions., , , , and . ACM Trans. Comput. Log., 24 (4): 34:1-34:51 (October 2023)On the Learnability of Possibilistic Theories., and . IJCAI, page 1870-1876. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?. CoRR, (2021)Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations., , and . J. Autom. Reason., 64 (8): 1553-1610 (2020)Exact Learning: On the Boundary between Horn and CNF., and . ACM Trans. Comput. Theory, 12 (1): 4:1-4:25 (2020)Non-Normal Modal Description Logics., , , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 306-321. Springer, (2023)Temporal Description Logics over Finite Traces., , and . Description Logics, volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Exact Learning Description Logic Ontologies from Data Retrieval Examples., , and . Description Logics, volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract)., , , and . Description Logics, volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)