Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Team Project “Model Checking”  + (Team Project “Model Checking”)
• Team Project “Model Checking”  + (Team Project “Model Checking”)
• Team Project “Model Checking”  + (Team Project “Model Checking”)
• Technische Universität Wien  + (Technische Universität Wien)
• Technische Universität Wien  + (Technische Universität Wien)
• Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles  + (Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles)
• Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles  + (Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles)
• Temporal Description Logics: A Survey  + (Temporal Description Logics: A Survey)
• Temporal Logics with Local Constraints  + (Temporal Logics with Local Constraints)
• Temporal Logics with Probabilistic Distributions  + (Temporal Logics with Probabilistic Distributions)
• Temporal Logics with Probabilistic Distributions  + (Temporal Logics with Probabilistic Distributions)
• Temporal Query Answering in DL-Lite  + (Temporal Query Answering in DL-Lite)
• Temporal Query Answering in DL-Lite with Negation  + (Temporal Query Answering in DL-Lite with Negation)
• Temporal Query Answering in DL-Lite with Negation  + (Temporal Query Answering in DL-Lite with Negation)
• Temporal Query Answering in EL  + (Temporal Query Answering in EL)
• Temporal Query Answering in EL  + (Temporal Query Answering in EL)
• Temporal Query Answering in EL  + (Temporal Query Answering in EL)
• Temporal Query Answering in a Fuzzy World  + (Temporal Query Answering in a Fuzzy World)
• Temporal Query Answering in the Description Logic DL-Lite  + (Temporal Query Answering in the Description Logic DL-Lite)
• Temporal Query Answering in the Description Logic EL  + (Temporal Query Answering in the Description Logic EL)
• Temporal Query Answering in the Description Logic EL (extended abstract)  + (Temporal Query Answering in the Description Logic EL (extended abstract))
• Temporal Query Answering w.r.t. DL-Lite-Ontologies  + (Temporal Query Answering w.r.t. DL-Lite-Ontologies)
• Temporal Query Entailment in the Description Logic SHQ  + (Temporal Query Entailment in the Description Logic SHQ)
• Temporal Tableaux  + (Temporal Tableaux)
• Temporal constraint satisfaction problems in least fixed point logic  + (Temporal constraint satisfaction problems in least fixed point logic)
• Temporal constraint satisfaction problems in least fixed point logic  + (Temporal constraint satisfaction problems in least fixed point logic)

• Temporal reasoning with DatalogMTL  + (Temporal reasoning with DatalogMTL)
• Temporal reasoning with DatalogMTL  + (Temporal reasoning with DatalogMTL)

• Temporalising Tractable Description Logics  + (Temporalising Tractable Description Logics)
• Temporalizing Ontology-Based Data Access  + (Temporalizing Ontology-Based Data Access)
• Temporalizing Rewritable Query Languages over Knowledge Bases  + (Temporalizing Rewritable Query Languages over Knowledge Bases)
• Temporally Attributed Description Logics  + (Temporally Attributed Description Logics)
• Tempus Fugit - Towards an Ontology Update Language  + (Tempus Fugit - Towards an Ontology Update Language)
• Term Rewriting Systems  + (Term Rewriting Systems)
• Term Rewriting Systems  + (Term Rewriting Systems)
• Term Rewriting Systems  + (Term Rewriting Systems)
• Term Rewriting Systems  + (Term Rewriting Systems)
• Term Rewriting Systems  + (Term Rewriting Systems)
• Term Rewriting Systems  + (Term Rewriting Systems)
• Term Rewriting and All That  + (Term Rewriting and All That)
• Term Rewriting and All That  + (Term Rewriting and All That)
• Termersetzungssysteme, Skript zur Vorlesung  + (Termersetzungssysteme, Skript zur Vorlesung)
• Terminological Cycles in KL-ONE-based Knowledge Representation Languages  + (Terminological Cycles in KL-ONE-based Knowledge Representation Languages)
• Terminological Cycles in KL-ONE-based Knowledge Representation Languages  + (Terminological Cycles in KL-ONE-based Knowledge Representation Languages)
• Terminological Cycles in a Description Logic with Existential Restrictions  + (Terminological Cycles in a Description Logic with Existential Restrictions)
• Terminological Cycles in a Description Logic with Existential Restrictions  + (Terminological Cycles in a Description Logic with Existential Restrictions)
• Terminological Knowledge Representation: A Proposal for a Terminological Logic  + (Terminological Knowledge Representation: A Proposal for a Terminological Logic)
• Terminological Logics with Modal Operators  + (Terminological Logics with Modal Operators)
• Terminological Logics with Modal Operators  + (Terminological Logics with Modal Operators)
• Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams  + (Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams)
• Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL  + (Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL)
• Terminologische Logiken  + (Terminologische Logiken)