scientific article; zbMATH DE number 1936671
From MaRDI portal
Publication:4406531
zbMath1058.68107MaRDI QIDQ4406531
No author found.
Publication date: 25 June 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00)
Related Items
Tractable approximate deduction for OWL, Query answering in circumscribed OWL2 profiles, Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies, Logical handling of uncertain, ontology-based, spatial information, Knowledge base exchange: the case of OWL 2 QL, Data repair of inconsistent nonmonotonic description logic programs, Conceptual logic programs, Arthur Prior and hybrid logic, Tableau reasoning for description logics and its extension to probabilities, Deciding Boolean algebra with Presburger arithmetic, Type-2 fuzzy description logic, ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching, PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\), Relational concept analysis: mining concept lattices from multi-relational data, Evaluation of automatic generation of basic stories, On the succinctness of some modal logics, A framework for modular ERDF ontologies, Qualitative and quantitative integrated modeling for stochastic simulation and optimization, A tableau algorithm for description logics with concrete domains and general TBoxes, Forgetting for knowledge bases in DL-lite, FO(ID) as an extension of DL with rules, Open answer set programming for the semantic web, Possibilistic testing of OWL axioms against RDF data, Capturing model-based ontology evolution at the instance level: the case of DL-Lite, Understanding the complexity of axiom pinpointing in lightweight description logics, A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite, Ontology-based semantic search on the web and its combination with the power of inductive reasoning, Generalized satisfiability for the description logic \(\mathcal{ALC}\), Human rationality challenges universal logic, Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design, Verifying the consistency of web-based technical documentations, Logic-based ontology comparison and module extraction, with an application to DL-Lite, Defeasible inheritance with doubt index and its axiomatic characterization, Knowledge representation, the world wide web, and the evolution of logic, Mining the semantic web statistical learning for next generation knowledge bases, View-based query answering in description logics: semantics and complexity, Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots, Similarity-based relaxed instance queries, Foundations of instance level updates in expressive description logics, Similarity measures over refinement graphs, On similarity in fuzzy description logics, Optimising fuzzy description logic reasoners with general concept inclusion absorption, A description logic approach for representing and reasoning on fuzzy object-oriented database models, Mapping of description logic to the relational data model, Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\), Strict core fuzzy logics and quasi-witnessed models, Coalgebraic semantics of modal logics: an overview, Best unifiers in transitive modal logics, Generalized fuzzy rough description logics, Finding explanations of inconsistency in multi-context systems, Deciding expressive description logics in the framework of resolution, On finitely-valued fuzzy description logics, Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities, A resolution-based decision procedure for \({\mathcal{SHOIQ}}\)., On the relationship between fuzzy description logics and many-valued modal logics, Where logic and agents meet, Minimal change: relevance and recovery revisited, Data complexity of query answering in expressive description logics via tableaux, Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\), Semantic-based regularization for learning and inference, Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases, Enhancing context knowledge repositories with justifiable exceptions, Inconsistency-tolerant temporal reasoning with hierarchical information, Reichenbach, Prior and hybrid tense logic, Manifest domains: analysis and description, Relative expressive power of navigational querying on graphs, Fuzzy description logics under Gödel semantics, A formal framework for description logics with uncertainty, Metamodeling semantics of multiple inheritance, A top-\(k\) query answering procedure for fuzzy logic programming, Standard Gödel modal logics, Semantic web: a road to the knowledge infrastructure on the internet, Towards constructive DL for abstraction and refinement, \(\mathcal {BCDL}\): Basic constructive description logic, On the failure of the finite model property in some fuzzy description logics, Decidable containment of recursive queries, Automata-based axiom pinpointing, Top-\(k\) retrieval for ontology mediated access to relational databases, Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN, Granular computing applied to ontologies, An argument-based approach to reasoning with clinical knowledge, Fuzzy description logics and \(t\)-norm based fuzzy logics, Finding models through graph saturation, Locally simple models construction: methodology and practice, Reasoning within fuzzy OWL 2 EL revisited, Adaptive fuzzy logics for contextual hedge interpretation, Flexible software architectures for ontology-based information systems, Reasoning with rough description logics: An approximate concepts approach, Exploiting conjunctive queries in description logic programs, Inductive situation calculus, Metatheory of actions: beyond consistency, On the scalability of description logic instance retrieval, A more general theory of static approximations for conjunctive queries, Fuzzy description logics with general t-norms and datatypes, Reasoning within expressive fuzzy rough description logics, A relevance restriction strategy for automated deduction, Combining interval-based temporal reasoning with general TBoxes, \({\mathcal E}\)-connections of abstract description systems, On the undecidability of logics with converse, nominals, recursion and counting, Structural subsumption and least common subsumers in a description logic with existential and number restrictions, DL-Lite Ontology Revision Based on An Alternative Semantic Characterization, Dynamic Reasoning Systems, Effective Interpolation and Preservation in Guarded Logics, DESCRIPTION LOGICS OVER LATTICES, Linking Open-World Knowledge Bases Using Nonmonotonic Rules, Coalition Description Logic with Individuals, A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics, Unnamed Item, Unnamed Item, A More General Theory of Static Approximations for Conjunctive Queries, RASP and ASP as a fragment of linear logic, On the relation between SPARQL1.1 and Answer Set Programming, Separation logics and modalities: a survey, Axiomatisation of general concept inclusions from finite interpretations, Matching in Hybrid Terminologies, How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited, Complexity of Planning in Action Formalisms Based on Description Logics, PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS, Partitioning Kripke frames of finite height, Finite model reasoning over existential rules, Well-founded operators for normal hybrid MKNF knowledge bases, Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming, Description logic on image graphs, Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics, Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic, Unnamed Item, DEFEASIBLE REASONING IN WEB-BASED FORMS THROUGH ARGUMENTATION, Reasoning on anonymity in Datalog, Unnamed Item, Unnamed Item, Unnamed Item, Mapping Properties of Heterogeneous Ontologies, The Complexity of Conjunctive Query Answering in Expressive Description Logics, Automata-Based Axiom Pinpointing, DL-FOIL Concept Learning in Description Logics, Foundations of Onto-Relational Learning, Learning with Kernels in Description Logics, A logical framework combining model and proof theory, TOWARDS A SEMANTIC STATE TRANSITION SYSTEM FOR AUTOMATED GENERATION OF DATA FLOW IN WEB SERVICE COMPOSITION, SOME MODEL THEORY OF GUARDED NEGATION, Adding Metalogic Features to Knowledge Representation Languages*, Datalog and Its Extensions for Semantic Web Databases, Reasoning with Uncertain and Inconsistent OWL Ontologies, JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS, Using tableau to decide description logics with full role negation and identity, Constructive Description Logics Hybrid-Style, The role of semantics in mining frequent patterns from knowledge bases in description logics with rules, Decidability of Circumscribed Description Logics Revisited, Using Pattern Structures for Analyzing Ontology-Based Annotations of Biomedical Data, Towards closed world reasoning in dynamic open worlds, FO(FD): Extending classical logic with rule-based fixpoint definitions, Some Complexity Results on Fuzzy Description Logics, A Fuzzy Frame-Based Knowledge Representation Formalism, Unnamed Item, Building Theorem Provers, Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm, Data Privacy for $\mathcal{ALC}$ Knowledge Bases, Acquiring Generalized Domain-Range Restrictions, A Finite Basis for the Set of $\mathcal{EL}$ -Implications Holding in a Finite Model, A Fine-Grained Approach to Resolving Unsatisfiable Ontologies, Linking Data to Ontologies, Context Representation in Domain Ontologies and Its Use for Semantic Integration of Data, Unification in the Description Logic $\mathcal{EL}$ without the Top Concept, Automated Reasoning in $\mathcal{ALCQ}$ via SMT, A Refinement Operator Based Learning Algorithm for the $\mathcal{ALC}$ Description Logic, Foundations of Refinement Operators for Description Logics, PDL with intersection and converse: satisfiability and infinite-state model checking, Coalgebraic Hybrid Logic, Unnamed Item, Unnamed Item, Extracting Modules from Ontologies: A Logic-Based Approach, Composing Modular Ontologies with Distributed Description Logics, KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, Unification in the Description Logic $\mathcal{EL}$, Foundations of Temporal Conceptual Data Models, Conceptual Modeling for Data Integration, Realizing Default Logic over Description Logic Knowledge Bases, Supporting Fuzzy Rough Sets in Fuzzy Description Logics, Towards a Scalable Query Rewriting Algorithm in Presence of Value Constraints, CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES, Description Logics, Ontologies and Databases: The DL-Lite Approach, A Correspondence between Temporal Description Logics, The Fluted Fragment with Transitivity, A Tableau Decision Procedure for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains, Unnamed Item, Fusion rules for context-dependent aggregation of structured news reports, PDL with negation of atomic programs, A Genetic Algorithm for Optimization of a Relational Knapsack Problem with Respect to a Description Logic Knowledge Base, Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting, Putting ABox Updates into Action, Logic-Based Roughification, Rough Pragmatic Description Logic, Multimedia information retrieval based on spatiotemporal relationships using description logics for the semantic web, Exploring Faulty Data, A Proposal for Extending Formal Concept Analysis to Knowledge Graphs, Universal Logic as a Science of Patterns, Extracting Program Logics From Abstract Interpretations Defined by Logical Relations, Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures, Revisiting Grounded Circumscription in Description Logics, Computing the least common subsumer w.r.t. a background terminology, Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system, Strong Equivalence of RASP Programs, The Truth about Defaults, Stepwise Debugging of Description-Logic Programs, Well-Supported Semantics for Logic Programs with Generalized Rules, Dual tableau-based decision procedures for relational logics with restricted composition operator, Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor, Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models, On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm, Ensuring Correctness of Model Transformations While Remaining Decidable, An approach to contextual time series analysis, Evolving objects in temporal information systems, Controlled query evaluation with open queries for a decidable relational submodel, Making fuzzy description logic more general, Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters, A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts, Small substructures and decidability issues for first-order logic with two variables, Understanding one another: making out meanings with Boolean equations, A logic of reachable patterns in linked data-structures, Expressive probabilistic description logics, A family of dynamic description logics for representing and reasoning about actions, A false sense of security, What makes an effective representation of information: a formal account of observational advantages, Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics, Uncertain lightweight ontologies in a product-based possibility theory framework, A Cookbook for Temporal Conceptual Data Modelling with Description Logics, A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases, A closeness- and priority-based logical study of social network creation, Reasoning with Global Assumptions in Arithmetic Modal Logics, Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention, Automated synthesis of application-layer connectors from automata-based specifications, A quantitative approach to reasoning about incomplete knowledge, Effective method for detecting error causes from incoherent biological ontologies, ABox abduction in the description logic \(\mathcal{ALC}\), Adding Threshold Concepts to the Description Logic $\mathcal{EL}$, SHACL: a description logic in disguise, Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey, Inconsistency-Tolerant Querying of Description Logic Knowledge Bases, From Fuzzy to Annotated Semantic Web Languages, All About Fuzzy Description Logics and Applications, Higher-Order Modal Logics: Automation and Applications, Recent Advances in Datalog$$^\pm $$, Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification, Program schemata technique for propositional program logics: a 30-year history, Construction of fuzzy OWL ontologies from fuzzy EER models: a semantics-preserving approach, The complexity of computing the behaviour of lattice automata on infinite trees, Reasoning on UML class diagrams, An Access Control Language Based on Term Rewriting and Description Logic, Debugging incoherent terminologies, Optimizing terminological reasoning for expressive description logics, Tractable reasoning and efficient query answering in description logics: The DL-Lite family, A tableau decision procedure for \(\mathcal{SHOIQ}\), Reasoning in description logics by a reduction to disjunctive datalog, The fluted fragment with transitive relations, Metamodeling and metaquerying in \texttt{OWL 2 QL}, Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \), Generalized Satisfiability for the Description Logic $\mathcal{ALC}$, Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic, Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies, Answering regular path queries in expressive description logics via alternating tree-automata, The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs, The complexity of finite model reasoning in description logics, Towards a functional approach to modular ontologies using institutions, GeoMergeP: geographic information integration through enriched ontology matching, Annotation theories over finite graphs, Semantic identification: balancing between complexity and validity, An investigation of parametrized difference revision operators, Checking content consistency of integrated web documents, Ontological aspects of the implementation of norms in agent-based electronic institutions, Multi-source multiple change on belief bases, Certain information granule system as a result of sets approximation by fuzzy context, Link key candidate extraction with relational concept analysis, Query answering DL-lite knowledge bases from hidden datasets, A Connection Calculus for the Description Logic $$ {\mathcal{ALC}} $$, Blocking and other enhancements for bottom-up model generation methods, Splitting and updating hybrid knowledge bases, An algebraic view on p-admissible concrete domains for lightweight description logics, The Fusemate logic programming system, Categories: How I Learned to Stop Worrying and Love Two Sorts, Normative Systems Represented as Hybrid Knowledge Bases, Query Answering with DBoxes is Hard, Distributed Parameter Learning for Probabilistic Ontologies, Ontology Learning from Interpretations in Lightweight Description Logics, Enhancing probabilistic model checking with ontologies, Approximate Unification in the Description Logic $$\mathcal {FL}_0$$, Query inseparability for \(\mathcal{ALC}\) ontologies, Rational closure for all description logics, Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\), Using model theory to find decidable and tractable description logics with concrete domains, Logical separability of labeled data examples under ontologies, Description logics with concrete domains and general concept inclusions revisited, On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions, Speeding up operations on feature terms using constraint programming and variable symmetry, Statistics of RDF store for querying knowledge graphs, Learning with cone-based geometric models and orthologics, Formally verified tableau-based reasoners for a description logic, Absorption for ABoxes, Inconsistency-tolerant reasoning with OWL DL, Fixed-point semantics for barebone relational concept analysis, Knowledge graph embeddings with ontologies: reification for representing arbitrary relations, Efficient TBox Reasoning with Value Restrictions using the wer Reasoner, Reasoning on with Defeasibility in ASP, On decidability of concept satisfiability in description logic with product semantics, The notion of abstraction in ontology-based data management, Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions, Cardinality Restrictions Within Description Logic Connection Calculi, On Horn Conjunctive Queries, An axiom system for basic hybrid logic with propositional quantifiers, Discovery of link keys in resource description framework datasets based on pattern structures, Graph-FCA meets pattern structures, Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures, A short introduction to SHACL for logicians, Designing efficient controlled languages for ontologies, Introduction, Unnamed Item, Verified Decision Procedures for Modal Logics., Knowledge representation and update in hierarchies of graphs, Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$, Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data, Optimized Description Logic Reasoning via Core Blocking, 2-Exp Time lower bounds for propositional dynamic logics with intersection, Service Specification and Matchmaking Using Description Logic, A Non-Deterministic Multiset Query Language
