Michael Zakharyaschev


Ontology type: schema:Person     


Person Info

NAME

Michael

SURNAME

Zakharyaschev

Publications in SciGraph latest 50 shown

  • 2018-10-18 STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS. OTM 2018 CONFERENCES
  • 2017-10-18 More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom in KNOWLEDGE ENGINEERING AND SEMANTIC WEB
  • 2017-10-04 Ontology-Based Data Access to Slegge in THE SEMANTIC WEB – ISWC 2017
  • 2017 A Framework for Temporal Ontology-Based Data Access: A Proposal in NEW TRENDS IN DATABASES AND INFORMATION SYSTEMS
  • 2017 Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey in REASONING WEB: LOGICAL FOUNDATION OF KNOWLEDGE GRAPH CONSTRUCTION AND QUERY ANSWERING
  • 2014 An Introduction to Description Logics and Query Rewriting in REASONING WEB. REASONING ON THE WEB IN THE BIG DATA ERA
  • 2014 Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime in THE SEMANTIC WEB – ISWC 2014
  • 2014 On the Blok-Esakia Theorem in LEO ESAKIA ON DUALITY IN MODAL AND INTUITIONISTIC LOGICS
  • 2013 Ontology-Based Data Access with Databases: A Short Course in REASONING WEB. SEMANTIC TECHNOLOGIES FOR INTELLIGENT DATA ACCESS
  • 2013 The Complexity of Clausal Fragments of LTL in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING
  • 2013 Ontology-Based Data Access: Ontop of Databases in ADVANCED INFORMATION SYSTEMS ENGINEERING
  • 2012 Exponential Lower Bounds and Separation for Query Rewriting in AUTOMATA, LANGUAGES, AND PROGRAMMING
  • 2011 Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models in FRONTIERS OF COMBINING SYSTEMS
  • 2011 Logic in the Time of WWW: An OWL View in LOGIC, LANGUAGE, INFORMATION AND COMPUTATION
  • 2011 Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies in WEB REASONING AND RULE SYSTEMS
  • 2010 Complexity of Reasoning over Temporal Data Models in CONCEPTUAL MODELING – ER 2010
  • 2009 DL-Lite with Temporalised Concepts, Rigid Axioms and Roles in FRONTIERS OF COMBINING SYSTEMS
  • 2008 DL − Lite and Role Inclusions in THE SEMANTIC WEB
  • 2008 On the Computational Complexity of Spatial Logics with Connectedness Constraints in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING
  • 2007 Spatial Logic + Temporal Logic = ? in HANDBOOK OF SPATIAL LOGICS
  • 2007 Reasoning over Extended ER Models in CONCEPTUAL MODELING - ER 2007
  • 2007 Temporalising Logics: Fifteen Years After in FRONTIERS OF COMBINING SYSTEMS
  • 2006-09 On Dynamic Topological and Metric Logics in STUDIA LOGICA
  • 2006-06 Willem Blok and Modal Logic in STUDIA LOGICA
  • 2006 Automated Reasoning About Metric and Topology in LOGICS IN ARTIFICIAL INTELLIGENCE
  • 2005 Temporal Logics over Transitive States in AUTOMATED DEDUCTION – CADE-20
  • 2005 Comparative Similarity, Tree Automata, and Diophantine Equations in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING
  • 2004-01 Temporalising Tableaux in STUDIA LOGICA
  • 2003 A Tableau Algorithm for Reasoning about Concepts and Similarity in AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS
  • 2002-11 A Tableau Decision Algorithm for Modalized ALC with Constant Domains in STUDIA LOGICA
  • 2002-11 Preface in STUDIA LOGICA
  • 2002-11 Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning in APPLIED INTELLIGENCE
  • 2002-09-20 A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries in LOGICS IN ARTIFICIAL INTELLIGENCE
  • 2002-01 Common knowledge and quantification in ECONOMIC THEORY
  • 2001-06-08 Tableaux for Temporal Description Logic with Constant Domains in AUTOMATED REASONING
  • 2001 Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D. in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING
  • 2001 Advanced Modal Logic in HANDBOOK OF PHILOSOPHICAL LOGIC
  • 2000-09-19 Semi-qualitative Reasoning about Distances: A Preliminary Report in LOGICS IN ARTIFICIAL INTELLIGENCE
  • 2000-09-19 Monodic Epistemic Predicate Logic in LOGICS IN ARTIFICIAL INTELLIGENCE
  • 2000-01 Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema in JOURNAL OF LOGIC, LANGUAGE AND INFORMATION
  • 1999 Intuitionistic Modal Logic in LOGIC AND FOUNDATIONS OF MATHEMATICS
  • 1998-07 Speaking about Transitive Frames in Propositional Languages in JOURNAL OF LOGIC, LANGUAGE AND INFORMATION
  • 1997-11 The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable in STUDIA LOGICA
  • 1997-03 The relation between intuitionistic and classical modal logics in ALGEBRA AND LOGIC
  • 1997 Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline in ADVANCES IN INTENSIONAL LOGIC
  • Affiliations

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "https://www.grid.ac/institutes/grid.88379.3d", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }
        ], 
        "familyName": "Zakharyaschev", 
        "givenName": "Michael", 
        "id": "sg:person.010464467433.97", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010464467433.97"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T14:07", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1881.json", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.010464467433.97'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.010464467433.97'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.010464467433.97'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.010464467433.97'


     




    Preview window. Press ESC to close (or click here)


    ...