description logic
Interval based Possibilistic Description Logic Programs for the Semantic Web
... on Description Logic[2], and the existing proposals for a rule language for use in the Semantic Web originate from Logic ...proposed description logic programs under answer set ...to ...
8
Confident Firewall Policy Configuration Management using Description Logic
... Abstract. The provisioning of a firewall is one of the first important steps toward securing access control to a network. However, the effectiveness of a firewall’s access control may be limited or compromised by poor ...
5
Temporal Description Logic for Ontology-Based Data Access (Extended Version)
... temporal description logic, TQL, that extends the standard ontology language OWL 2 QL, provides basic means for temporal con- ceptual modelling and ensures first-order rewritability of conjunctive queries ...
20
Conservative rewritability of description logic TBoxes: First results
... 6. Botoeva, E., Kontchakov, R., Ryzhikov, V., Wolter, F., Zakharyaschev, M.: Query inseparability for description logic knowledge bases. In: Proceedings of KR (2014) 7. Calvanese, D., De Giacomo, G., Lembo, ...
12
Games for query inseparability of description logic knowledge bases
... of description logic knowledge bases with respect to a given signature— a fundamental problem in knowledge base versioning, module extraction, forgetting and knowledge ...the description logics ...
50
PP 2018 12: A Parameterized Complexity View on Description Logic Reasoning
... Description logics have been designed as knowledge repre- sentation formalisms that have good computational properties (Baader et al. 2003). Correspondingly, there has been a lot of research into the computational ...
10
Charting the Potential of Description Logic for the Generation of Referring Expressions
... in Description Logic (DL), a formalism which, like Conceptual Graphs, is specifically designed for representing and reasoning with potentially com- plex ...principled, logic based approach is chosen, ...
9
Exact learning description logic ontologies from data retrieval examples
... Abstract. We investigate the complexity of learning description logic ontologies in Angluin et al.’s framework of exact learning via queries posed to an oracle. We consider membership queries of the form ...
13
MoL 2008 03: ABox Abduction in Description Logic
... In the second part of the work we have focused on the main objective, which was to adapt and extend the computation framework to the Description Logic ALC. In order to do so, we have defined a new type of ...
86
Recognizing Textual Entailment Using Description Logic And Semantic Relatedness
... efficient description logic based approach for recognizing textual entailment that uses semantic re- latedness information as an alternative to large knowledge base of axioms and inference ...
206
Link prediction using a probabilistic description logic
... In this paper, we have introduced a link prediction method that combines graph-based and ontological information through the use of a probabilistic description logic. Given a collaborative network, we ...
13
Matching in the Description Logic FL0 with respect to General TBoxes
... In Description Logic (DL), matching of concept descriptions against concept patterns was originally introduced in [11] as a non- standard inference task that can be used to filter out the unimportant ...
19
Schema.org as a Description Logic
... a Description Logic (DL) and study the complexity of querying data using (unions of) conjunctive queries in the presence of ontologies formulated in this DL (from several per- ...
21
Description logic based quantifier restriction and query of an OWL ontology
... Description logic is fundamentally used for Knowledge representation. The knowledge representation system should be able to generate answers to the queries based on the reasoning logic. Thus the DL ...
7
ER Model Transformation Using Conceptual Modelling With Description Logic Vandana M. Patil
... Description logic (DL) is a language for knowledge representation which is used to represent the terminological knowledge of an application domain in a structured and well-understood ...decidability. ...
8
Exact Learning of Lightweight Description Logic Ontologies
... learning description logic (DL) ontologies in Angluin et ...the description logic DL-Lite can be learned with polynomially many queries of polynomial size; (2) this is not the case for ...
63
Projection in a Description Logic of Context with Actions
... Projection is the problem of checking whether the execution of a given sequence of actions will achieve its goal starting from some initial state. In this paper, we study a setting where we combine a two-dimensional ...
13
Identifying Vulnerable User In Linkedin Using Web Description Logic Rule Generation
... Social network websites like LinkedIn are seen to attract more than a huge 400 million users around the world. The growing popularity of these social networking leads to various issues that include the potential to Such ...
7
On Knowledge Dependence in Weighted Description Logic
... by adding such operators to ALC and allowing weights and thresholds to take any real value r ∈ R ; but most of our results and observations can be generalized easily to most other varieties of Description Logics. ...
13
Query inseparability for description logic knowledge bases
... of description logic (DL) knowledge bases (KBs) with respect to a given signature, a fundamental problem for KB versioning, module extraction, forgetting and knowledge ...
22