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