Logical foundations of object-oriented and frame-based languages
From MaRDI portal
Publication:4369882
DOI10.1145/210332.210335zbMath0885.68054OpenAlexW2084130127WikidataQ128922998 ScholiaQ128922998MaRDI QIDQ4369882
No author found.
Publication date: 28 January 1998
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://ub-madoc.bib.uni-mannheim.de/848/1/TR-90-003.pdf
Related Items (33)
Ontology learning: grand tour and challenges ⋮ Resolution for label-based formulas in hierarchical representation ⋮ XSB: Extending Prolog with Tabled Logic Programming ⋮ Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system ⋮ Testing satisfiability of a class of object-oriented conjunctive queries ⋮ On the Interaction of Existential Rules and Equality Constraints in Ontology Querying ⋮ Representing ontologies using description logics, description graphs, and rules ⋮ Towards more expressive ontology languages: the query answering problem ⋮ A framework for modular ERDF ontologies ⋮ On the expressive power of F-logic language ⋮ Logic Programming with Defaults and Argumentation Theories ⋮ The F-logic approach for description languages ⋮ Semantic query optimization in the presence of types ⋮ Order-sorted model theory for temporal executable specifications ⋮ The pragmatic proof: Hypermedia API composition and execution ⋮ Tightly integrated probabilistic description logic programs for representing ontology mappings ⋮ A practical analysis of non-termination in large logic programs ⋮ The deductive IDEF1X data model of a tooling system ⋮ Why-provenance information for RDF, rules, and negation ⋮ A logic for programming with complex objects ⋮ Tutorial on ontological engineering. II: Ontology development, tools and languages ⋮ Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data ⋮ Partially ordered regular languages for graph queries ⋮ Tractable query answering and rewriting under description logic constraints ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ The expressive power of stratified logic programs with value invention ⋮ Combining Description Logics, Description Graphs, and Rules ⋮ Cross-Curriculum Search for Intergeo ⋮ SchemaSQL ⋮ Semantics of temporal classes ⋮ Well-founded semantics and stratification for ordered logic programs ⋮ Correspondence and translation for heterogeneous data ⋮ Order-sorted logic programming with predicate hierarchy
Uses Software
This page was built for publication: Logical foundations of object-oriented and frame-based languages
