A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes
Work
Year: 2006
Type: article
Source: Journal of Automated Reasoning
Authors Carsten Lutz, Maja Miličić
Institution TU Dresden
Cites: 39
Cited by: 125
Related to: 10
FWCI: 5.191
Citation percentile (by year/subfield): 96.48
Topic: Semantic Web and Ontologies
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Sustainable cities and communities
Open Access status: closed