Add to ORKGWe present an FCA-based axiomatization method that produces a complete EL TBox (the terminological part of an OWL 2 EL ontology) from a graph dataset in at most exponential time. We describe technical details that allow for efficient implementation as well as variations that dispense with the computation of extremely large axioms, thereby rendering the approach applicable albeit some completeness is lost. Moreover, we evaluate the prototype on real-world datasets.This is an extended version of an article accepted at AAAI 2024
Abstract. EL is a family of tractable Description Logics (DLs) that is the basis of the OWL 2 EL pro...
Abstract. Automated generation of axioms from streaming data, such as traffic and text, can result i...
Abstract Background Ontologies are representations of a conceptualization of a domain. Traditionally...
The Web Ontology Language OWL is based on Description Logics and allows representing knowledge in fo...
Abstract. The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoni...
Abstract. The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoni...
Description Logic (abbrv. DL) belongs to the field of knowledge representation and reasoning. DL res...
International audienceNominal schemas have been proposed as an extension to Description Logics (DL),...
With the amount of data collected everyday ever expanding, techniques which allow com- puters to sem...
Ontologies, as a conceptualization of a domain of interest, can be used for different objectives, su...
Diagrams can be an effective means of communicating complex ideas and can aid ontology engineering. ...
Description Logics (DLs) are a class of knowledge representation formalisms that can represent termi...
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Sem...
Abstract. Description Logics (DLs) are a family of knowledge repre-sentation formalisms, that provid...
Ontology classification is the reasoning service that computes all subsumption relationships inferre...
Abstract. EL is a family of tractable Description Logics (DLs) that is the basis of the OWL 2 EL pro...
Abstract. Automated generation of axioms from streaming data, such as traffic and text, can result i...
Abstract Background Ontologies are representations of a conceptualization of a domain. Traditionally...
The Web Ontology Language OWL is based on Description Logics and allows representing knowledge in fo...
Abstract. The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoni...
Abstract. The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoni...
Description Logic (abbrv. DL) belongs to the field of knowledge representation and reasoning. DL res...
International audienceNominal schemas have been proposed as an extension to Description Logics (DL),...
With the amount of data collected everyday ever expanding, techniques which allow com- puters to sem...
Ontologies, as a conceptualization of a domain of interest, can be used for different objectives, su...
Diagrams can be an effective means of communicating complex ideas and can aid ontology engineering. ...
Description Logics (DLs) are a class of knowledge representation formalisms that can represent termi...
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Sem...
Abstract. Description Logics (DLs) are a family of knowledge repre-sentation formalisms, that provid...
Ontology classification is the reasoning service that computes all subsumption relationships inferre...
Abstract. EL is a family of tractable Description Logics (DLs) that is the basis of the OWL 2 EL pro...
Abstract. Automated generation of axioms from streaming data, such as traffic and text, can result i...
Abstract Background Ontologies are representations of a conceptualization of a domain. Traditionally...