Pages that link to "Item:Q4369882"
From MaRDI portal
The following pages link to Logical foundations of object-oriented and frame-based languages (Q4369882):
Displaying 33 items.
- Towards more expressive ontology languages: the query answering problem (Q359987) (← links)
- A framework for modular ERDF ontologies (Q360258) (← links)
- Semantic query optimization in the presence of types (Q389237) (← links)
- Tightly integrated probabilistic description logic programs for representing ontology mappings (Q429437) (← links)
- A logic for programming with complex objects (Q686642) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
- Ontology learning: grand tour and challenges (Q826313) (← links)
- Representing ontologies using description logics, description graphs, and rules (Q840831) (← links)
- Tractable query answering and rewriting under description logic constraints (Q975872) (← links)
- The expressive power of stratified logic programs with value invention (Q1281496) (← links)
- Well-founded semantics and stratification for ordered logic programs (Q1313371) (← links)
- Testing satisfiability of a class of object-oriented conjunctive queries (Q1341716) (← links)
- On the expressive power of F-logic language (Q1375331) (← links)
- Order-sorted model theory for temporal executable specifications (Q1391744) (← links)
- Correspondence and translation for heterogeneous data (Q1606125) (← links)
- Tutorial on ontological engineering. II: Ontology development, tools and languages (Q1762934) (← links)
- Partially ordered regular languages for graph queries (Q1765217) (← links)
- Semantics of temporal classes (Q1854386) (← links)
- Resolution for label-based formulas in hierarchical representation (Q1882550) (← links)
- The F-logic approach for description languages (Q1924824) (← links)
- Why-provenance information for RDF, rules, and negation (Q2248547) (← links)
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system (Q2372203) (← links)
- XSB: Extending Prolog with Tabled Logic Programming (Q2893097) (← links)
- On the Interaction of Existential Rules and Equality Constraints in Ontology Querying (Q2900513) (← links)
- SchemaSQL (Q3507294) (← links)
- Combining Description Logics, Description Graphs, and Rules (Q3655191) (← links)
- The pragmatic proof: Hypermedia API composition and execution (Q4593077) (← links)
- Logic Programming with Defaults and Argumentation Theories (Q5325769) (← links)
- A practical analysis of non-termination in large logic programs (Q5398306) (← links)
- Cross-Curriculum Search for Intergeo (Q5505532) (← links)
- The deductive IDEF1X data model of a tooling system (Q5717987) (← links)
- Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data (Q5738985) (← links)
