Logical foundations of object-oriented and frame-based languages
From MaRDI portal
Recommendations
Cited in
(50)- Ontology learning: grand tour and challenges
- Combining description logics, description graphs, and rules
- A logical framework for deductive objects
- Second-Order Principles in Specification Languages for Object-Oriented Programs
- Logic Foundations of the OCL Modelling Language
- Order-sorted model theory for temporal executable specifications
- Logic Based Program Synthesis and Transformation
- Representing ontologies using description logics, description graphs, and rules
- Diversification of object-languages for propositional logics
- scientific article; zbMATH DE number 1947733 (Why is no real title available?)
- Easy definition of new facets in the frame-based language Objlog+
- XSB: extending Prolog with tabled logic programming
- Order-sorted logic programming with predicate hierarchy
- Resolution for label-based formulas in hierarchical representation
- Tightly integrated probabilistic description logic programs for representing ontology mappings
- Specifying, programming and verifying with equational logic
- Inheritance in Rule-Based Frame Systems: Semantics and Inference
- Objects and classes in Algol-like languages
- Why-provenance information for RDF, rules, and negation
- Semantics of temporal classes
- Tractable query answering and rewriting under description logic constraints
- Logical object as a basis of knowledge based systems
- Semantics and logic of object calculi
- Tutorial on ontological engineering. II: Ontology development, tools and languages
- Partially ordered regular languages for graph queries
- An operational semantics for object-oriented concepts based on the class hierarchy
- scientific article; zbMATH DE number 1615251 (Why is no real title available?)
- SchemaSQL
- The pragmatic proof: hypermedia API composition and execution
- scientific article; zbMATH DE number 549985 (Why is no real title available?)
- Correspondence and translation for heterogeneous data
- Logic Programming with Defaults and Argumentation Theories
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system
- Well-founded semantics and stratification for ordered logic programs
- The F-logic approach for description languages
- Many-valued dynamic object-oriented inheritance and approximations
- The deductive IDEF1X data model of a tooling system
- UFL: An Experimental Frame Language Based on Abstract Data Types
- Cross-Curriculum Search for Intergeo
- Testing satisfiability of a class of object-oriented conjunctive queries
- Object oriented description logic
- A framework for modular ERDF ontologies
- Towards more expressive ontology languages: the query answering problem
- A practical analysis of non-termination in large logic programs
- On the interaction of existential rules and equality constraints in ontology querying
- On the expressive power of F-logic language
- Semantic query optimization in the presence of types
- The expressive power of stratified logic programs with value invention
- Logic, languages, and rules for web data extraction and reasoning over data
- A logic for programming with complex objects
This page was built for publication: Logical foundations of object-oriented and frame-based languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4369882)
