( en | de | ru )

 

Disambiguation of "Ozaki, Ana"

Author of the publication

copydeleteadd this publication to your clipboard
Learning Description Logic Ontologies: Five Approaches. Where Do They Stand?

. Künstliche Intell., 34 (3): 317--327 (2020)
DOI: 10.1007/s13218-020-00656-9

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)

Wilhelm Anacker

Gerhard Anacker

 

Other publications of authors with the same name

Enriching Ontology-based Data Access with Provenance., , , , and . IJCAI, page 1616-1623. ijcai.org, (2019)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..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)Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?. CoRR, (2021)Exact Learning: On the Boundary between Horn and CNF., and . ACM Trans. Comput. Theory, 12 (1): 4:1-4:25 (2020)Finite Based Contraction and Expansion via Models., , and . AAAI, page 6389-6397. AAAI Press, (2023)Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract)., , , and . Description Logics, volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations., , and . J. Autom. Reason., 64 (8): 1553-1610 (2020)On Free Description Logics with Definite Descriptions., , , and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)Temporal Description Logics over Finite Traces., , and . Description Logics, volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)