Hjem
  • E-postAna.Ozaki@uib.no
  • Telefon+47 55 58 41 76
  • Besøksadresse
    HIB - Thormøhlens gate 55
  • Postadresse
    Postboks 7803
    5020 Bergen

https://dblp.org/pers/o/Ozaki:Ana.html

  • Vis forfatter(e) 2020. Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations. Journal of automated reasoning.
  • Vis forfatter(e) 2020. Provenance for the Description Logic ELHr. 8 sider.
  • Vis forfatter(e) 2020. On the Learnability of Possibilistic Theories. 7 sider.
  • Vis forfatter(e) 2020. On the Complexity of Learning Description Logic Ontologies. 17 sider.
  • Vis forfatter(e) 2020. On the Complexity of Learning Description Logic Ontologies.
  • Vis forfatter(e) 2020. Metric Temporal Description Logics with Interval-Rigid Names. ACM Transactions on Computational Logic.
  • Vis forfatter(e) 2020. Learning Query Inseparable ELH Ontologies. 8 sider.
  • Vis forfatter(e) 2020. Learning Description Logic Ontologies: Five Approaches. Where Do They Stand? Künstliche Intelligenz. 317-327.
  • Vis forfatter(e) 2020. Exact Learning: On the Boundary between Horn and CNF. ACM Transactions on Computation Theory.
  • Vis forfatter(e) 2020. 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
  • Vis forfatter(e) 2019. Temporally Attributed Description Logics.
  • Vis forfatter(e) 2019. Querying Attributed DL-Lite Ontologies Using Provenance Semirings. 8 sider.
  • Vis forfatter(e) 2019. Learning Ontologies with Epistemic Reasoning: The EL Case.
  • Vis forfatter(e) 2019. Enriching Ontology-based Data Access with Provenance.
  • Vis forfatter(e) 2019. Do You Need Infinite Time? 7 sider.
  • Vis forfatter(e) 2018. Preserving Constraints with the Stable Chase.
  • Vis forfatter(e) 2018. ExactLearner: A Tool for Exact Learning of EL Ontologies.
  • Vis forfatter(e) 2018. Exact learning of multivalued dependency formulas. Theoretical Computer Science.
  • Vis forfatter(e) 2018. Exact Learning of Lightweight Description Logic Ontologies. Journal of machine learning research.
  • Vis forfatter(e) 2018. Consequence-Based Axiom Pinpointing.
  • Vis forfatter(e) 2018. Attributed Description Logics: Reasoning on Knowledge Graphs.
  • Vis forfatter(e) 2017. Theorem Proving for Metric Temporal Logic over the Naturals.
  • Vis forfatter(e) 2017. Metric Temporal Description Logics with Interval-Rigid Names.
  • Vis forfatter(e) 2017. Attributed Description Logics: Ontologies for Knowledge Graphs.
  • Vis forfatter(e) 2016. On Metric Temporal Description Logics.
  • Vis forfatter(e) 2016. A Model for Learning Description Logic Ontologies Based on Exact Learning.
  • Vis forfatter(e) 2015. Schema.org as a Description Logi.
  • Vis forfatter(e) 2015. Exact Learning of Multivalued Dependencies.
  • Vis forfatter(e) 2014. Exact Learning of Lightweight Description Logic Ontologies.

Se fullstendig oversikt over publikasjoner i CRIStin.

For aktuelle masteroppgaver i maskinlæring, se på engelske sider.