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
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
